The following pages link to (Q5458153):
Displaying 4 items.
- The analysis of concurrent systems. Cambridge, September 12-16, 1983. Proceedings (Q1067764) (← links)
- Formal Specification of Concurrent Systems: A Structured Approach (Q4226631) (← links)
- On Structuring Cooperative and Competitive Concurrent Systems (Q4950859) (← links)
- Yeast: A case study for a practical use of formal methods (Q5044729) (← links)