History dependent verification for partial order systems

Authors:
Ugo Montanari;Marco Pistore
Affiliations:
-;-
Venue:
POMIV '96 Proceedings of the DIMACS workshop on Partial order methods in verification
Year:
1997

Causal computing

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation

FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Structured coalgebras and minimal HD-automata for the π-calculus

Theoretical Computer Science - Mathematical foundations of computer science 2000

Hi-index	0.03