Bisimulations in the join-calculus

Authors:
M. Moreale;Cédric Fournet;Cosimo Laneve
Affiliations:
-;-;-
Venue:
PROCOMET '98 Proceedings of the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods
Year:
1998

Authentication primitives and their compilation

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bisimulations in the join-calculus

Theoretical Computer Science
Trace and testing equivalence on asynchronous processes

Information and Computation
High-Level Petri Nets as Type Theories in the Join Calculus

FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures

Hi-index	0.00