Article

Modelling of bonding with processes and events

Authors:

Irek Ulidowski,

Shoji YuenAuthors Info & Claims

RC'13: Proceedings of the 5th international conference on Reversible Computation

Pages 141 - 154

https://doi.org/10.1007/978-3-642-38986-3_12

Published: 04 July 2013 Publication History

Abstract

We introduce two forms of modelling of systems that consist of objects that are combined together by the means of bonds. In reaction systems for bonding we define how bonds are created and dissolved via reduction-style semantics. The usefulness of reaction systems is illustrated with examples taken from software engineering and biochemistry. We also introduce reversible event structures and define the notion of configuration. We then discuss how to give semantics of reaction systems for bonding in terms of reversible event structures.

References

[1]

Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Computer Science 96(1), 217-248 (1992)

Digital Library

[2]

Cardelli, L., Laneve, C.: Reversible structures. In: Proceedings of CMSB 2011, pp. 131-140. ACM (2011)

Digital Library

[3]

Danos, V., Krivine, J.: Reversible communicating systems. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 292-307. Springer, Heidelberg (2004)

[4]

Danos, V., Krivine, J.: Transactions in RCCS. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 398-412. Springer, Heidelberg (2005)

Digital Library

[5]

Danos, V., Krivine, J.: Formal molecular biology done in CCS-R. In: Proceedings of BioConcur 2003. ENTCS, vol. 180, pp. 31-49 (2007)

Digital Library

[6]

Lanese, I., Mezzina, C. A., Schmitt, A., Stefani, J.-B.: Controlling reversibility in higher-order pi. In: Katoen, J.-P., König, B. (eds.) CONCUR 2011. LNCS, vol. 6901, pp. 297-311. Springer, Heidelberg (2011)

Digital Library

[7]

Lanese, I., Mezzina, C. A., Stefani, J.-B.: Reversing higher-order pi. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 478-493. Springer, Heidelberg (2010)

Digital Library

[8]

Luks, E. M.: Isomorphism of graphs of bounded valence can be tested in polynomial time. Journal of Computer and System Sciences 25(1), 42-65 (1982)

[9]

Nielsen, M., Plotkin, G. D., Winskel, G.: Petri nets, event structures and domains, part I. Theoretical Computer Science 13, 85-108 (1981)

[10]

Phillips, I.C.C., Ulidowski, I.: Reversibility and models for concurrency. In Proceedings of SOS 2007. ENTCS, vol. 192, pp. 93-108 (2007)

Digital Library

[11]

Phillips, I.C.C., Ulidowski, I.: Reversing algebraic process calculi. Journal of Logic and Algebraic Programming 73, 70-96 (2007)

[12]

Phillips, I.C.C., Ulidowski, I., Yuen, S.: A reversible process calculus and the modelling of the ERK signalling pathway. In: Glück, R., Yokoyama, T. (eds.) RC 2012. LNCS, vol. 7581, pp. 218-232. Springer, Heidelberg (2013)

[13]

van Glabbeek, R. J., Plotkin, G. D.: Configuration structures, event structures and Petri nets. Theoretical Computer Science 410(41), 4111-4159 (2009)

Digital Library

[14]

van Glabbeek, R. J., Plotkin, G. D.: Event structures for resolvable conflict. In: Fiala, J., Koubek, V., Kratochvíl, J. (eds.) MFCS 2004. LNCS, vol. 3153, pp. 550-561. Springer, Heidelberg (2004)

[15]

Varacca, D., Yoshida, N.: Typed event structures and the linear p-calculus. Theoretical Computer Science 411(19), 1949-1973 (2010)

Digital Library

[16]

Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 255, pp. 325-392. Springer, Heidelberg (1987)

Digital Library

[17]

Winskel, G.: Events, causality and symmetry. Computer Journal 54(1), 42-57 (2011)

Digital Library

Cited By

Melgratti HMezzina CPinna G(2023)Relating Reversible Petri Nets and Reversible Event Structures, CategoricallyFormal Techniques for Distributed Objects, Components, and Systems10.1007/978-3-031-35355-0_13(206-223)Online publication date: 19-Jun-2023
https://dl.acm.org/doi/10.1007/978-3-031-35355-0_13
Baldan PCorradini AGadducci FAceto LIngólfsdóttir A(2017)Domains and event structures for fusionsProceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/3329995.3330070(1-12)Online publication date: 20-Jun-2017
https://dl.acm.org/doi/10.5555/3329995.3330070

Recommendations

Increasing the bonding strength of chips on flex substrates using thermosonic flip-chip bonding process with nonconductive paste

Thermosonic flip-chip bonding process with a nonconductive paste (NCP) was employed to improve the processability and bonding strength of the flip-chip onto flex substrates (FCOF). A non-conductive paste was deposited on the surface of the copper ...
Glass frit bonding: an universal technology for wafer level encapsulation and packaging

This paper reports on glass frit wafer bonding, which is a universally usable technology for wafer level encapsulation and packaging. After explaining the principle and the process flow of glass frit bonding, experimental results are shown. Glass frit ...
Low-pressure thermal bonding

Polymer-based micro/nano fluidic devices are becoming increasingly important for biological applications and fluidic control. In this paper, we propose a new method for the enclosure of the large-area channel by thermal bonding at low pressure using a ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

RC'13: Proceedings of the 5th international conference on Reversible Computation

July 2013

262 pages

ISBN:9783642389856

Editors:
Gerhard W. Dueck
Faculty of Computer Science, University of New Brunswick, 550 Windsor Street, Fredericton, NB, Canada
,
D. Michael Miller
Department of Computer Science, University of Victoria,, 550 Windsor Street, Victoria, BC, Canada

Sponsors

University of Victoria: University of Victoria
PIMS: The Pacific Institute for the Mathematical Sciences

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 04 July 2013

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Melgratti HMezzina CPinna G(2023)Relating Reversible Petri Nets and Reversible Event Structures, CategoricallyFormal Techniques for Distributed Objects, Components, and Systems10.1007/978-3-031-35355-0_13(206-223)Online publication date: 19-Jun-2023
https://dl.acm.org/doi/10.1007/978-3-031-35355-0_13
Baldan PCorradini AGadducci FAceto LIngólfsdóttir A(2017)Domains and event structures for fusionsProceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/3329995.3330070(1-12)Online publication date: 20-Jun-2017
https://dl.acm.org/doi/10.5555/3329995.3330070

View Options

View options

Media

Figures

Other

Tables

View Table of Contents