The following pages link to (Q4251096):
Displaying 7 items.
- An algebra of behavioural types (Q418153) (← links)
- Concurrency and knowledge-level communication in agent languages (Q1274547) (← links)
- An object based algebra for specifying a fault tolerant software architecture (Q1779322) (← links)
- An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract) (Q2365396) (← links)
- Declarative Programming with Algebra (Q2798283) (← links)
- Modeling Actor Systems Using Dynamic I/O Automata (Q3179176) (← links)
- Model checking meets auto-tuning of high-performance programs (Q6103016) (← links)