Coordinating action systems

Authors:
Eric J. Hedman;Joost N. Kok;Kaisa Sere
Affiliations:
Åbo Akademi Univ., Åbo, Finland;Leiden Univ., Leiden, The Netherlands;Åbo Univ, Åbo, Finland
Venue:
Theoretical Computer Science
Year:
2000

Citing 0
Cited 1

An extension of event b for developing grid systems

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B

Quantified Score

Hi-index	5.23

Visualization

Abstract