Computing with actions and communications

2006

Presented at the International Symposium on Formal Methods for Components and Objects, Amsterdam

Additional Metadata
THEME	Software (theme 1)
Publisher	Société Mathématique de Belgique
Journal	Bulletin of the Belgian Mathematical Society Simon Stevin
Conference	International Symposium on Formal Methods for Components and Objects
Organisation	Software Analysis and Transformation
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Fokkink, W.J, & Klop, J.W. (2006). Computing with actions and communications. Bulletin of the Belgian Mathematical Society Simon Stevin, 13, 789–905.

See Also
article Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM W.J. Fokkink (Wan) and J. Pang
inProceedings Divide and congruence: from decomposition of modalities to preservation of branching bisimulation W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind
inProceedings Divide and congruence: from decomposition of modalities to preservation of branching bisimulation W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind
article Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM W.J. Fokkink (Wan) and J. Pang

Publication