Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes

• Authors:

• Irène Guessarian

• Affiliations:

• Univ., of Paris VI

• Venue:
• Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes
• Year:
• 1990