The following pages link to Robin Milner (Q1801221):
Displaying 50 items.
- (Q699933) (redirect page) (← links)
- Shallow linear action graphs and their embeddings (Q699934) (← links)
- Interpreting one concurrent calculus in another (Q915484) (← links)
- Calculi for synchrony and asynchrony (Q1050111) (← links)
- A complete inference system for a class of regular behaviours (Q1057072) (← links)
- A calculus of communicating systems (Q1148667) (← links)
- Co-induction in relational semantics (Q1177158) (← links)
- A compositional protocol verification using relativized bisimulation (Q1193593) (← links)
- Unique decomposition of processes (Q1208422) (← links)
- Fully abstract models of typed \(\lambda\)-calculi (Q1249567) (← links)
- A theory of type polymorphism in programming (Q1250704) (← links)
- A complete axiomatisation for observational congruence of finite-state behaviours (Q1263984) (← links)
- Edinburgh LCF. A mechanized logic of computation (Q1801222) (← links)
- Calculi for interaction (Q1901716) (← links)
- An inductive characterization of matching in binding bigraphs (Q1941899) (← links)
- Pure bigraphs: structure and dynamics (Q2490119) (← links)
- Equivalences on program schemes (Q2543557) (← links)
- (Q2754059) (← links)
- Local bigraphs and confluence: two conjectures (extended abstract) (Q2866344) (← links)
- Matching of bigraphs (Q2867883) (← links)
- Bigraphs and their algebra (Q2870188) (← links)
- Bigraphs and transitions (Q2942911) (← links)
- (Q3026331) (← links)
- (Q3049797) (← links)
- Unfolding CSP (Q3163405) (← links)
- Bigraphical Categories (Q3184663) (← links)
- Axioms for bigraphical structure (Q3371524) (← links)
- (Q3400645) (← links)
- Transition systems, link graphs and Petri nets (Q3419786) (← links)
- Categories, Software and Meaning (Q3507404) (← links)
- The Space and Motion of Communicating Agents (Q3618852) (← links)
- The use of machines to assist in rigorous proof (Q3690258) (← links)
- (Q3750113) (← links)
- (Q3750114) (← links)
- (Q3765231) (← links)
- Algebraic laws for nondeterminism and concurrency (Q3766826) (← links)
- Flowgraphs and Flow Algebras (Q3854604) (← links)
- (Q3857731) (← links)
- (Q3878737) (← links)
- (Q3883467) (← links)
- (Q3929062) (← links)
- (Q3940847) (← links)
- Communication and concurrency (Q3992568) (← links)
- Functions as processes (Q4017458) (← links)
- (Q4038690) (← links)
- (Q4077434) (← links)
- (Q4138713) (← links)
- Concurrent Processes and Their Syntax (Q4178474) (← links)
- (Q4198049) (← links)
- (Q4248252) (← links)
