The following pages link to (Q3657409):
Displaying 8 items.
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Issues in the design of a parallel object-oriented language (Q909434) (← links)
- Strong fairness and full abstraction for communicating processes (Q1854396) (← links)
- The origins of structural operational semantics (Q1878710) (← links)
- Computational adequacy for recursive types in models of intuitionistic set theory (Q1886324) (← links)
- A logical and graphical framework for reaction systems (Q2034775) (← links)
- A unified rule format for bounded nondeterminism in SOS with terms as labels (Q2403821) (← links)
- Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems (Q6488369) (← links)
