The following pages link to (Q2767185):
Displaying 6 items.
- KLAIM (Q21407) (← links)
- Kleene under a modal demonic star (Q817579) (← links)
- Specification and refinement of mobile systems in MTLA and mobile UML (Q820132) (← links)
- Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications (Q1004062) (← links)
- Types for access control (Q1575157) (← links)
- Global Computing. Programming Environments, Languages, Security, and Analysis of Systems (Q5897114) (← links)