university website Publications by Year
  • sign in
  • Software Analysis and Transformation /
  • Bulletin of the Belgian Mathematical Society Simon Stevin /
  • Article
  • Search

W.J. Fokkink (Wan) and J.W. Klop (Jan Willem)

2006

Computing with actions and communications

Publication

Publication

Bulletin of the Belgian Mathematical Society Simon Stevin , Volume 13 p. 789- 905

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., & 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

university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • CWI researchers

    • Register Your Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close