The following pages link to (Q4513619):
Displayed 29 items.
- Linear realizability and full completeness for typed lambda-calculi (Q556821) (← links)
- A concurrent lambda calculus with futures (Q860851) (← links)
- A basic algebra of stateless connectors (Q860881) (← links)
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- Comparing communication primitives via their relative expressive power (Q1004386) (← links)
- Primitives for authentication in process algebras. (Q1603653) (← links)
- Compositional SOS and beyond: A coalgebraic view of open systems (Q1603820) (← links)
- The cones and foci proof technique for timed transition systems (Q1607115) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- A calculus for reasoning about software composition (Q1770365) (← links)
- A game semantics for generic polymorphism (Q1772770) (← links)
- An ``abstract process'' approach to algebraic dynamic architecture description (Q1779318) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- Decoding choice encodings (Q1854385) (← links)
- Full abstraction for PCF (Q1854394) (← links)
- Modular structural operational semantics (Q1878712) (← links)
- On the \(\lambda Y\) calculus (Q1886326) (← links)
- Continuity controlled hybrid automata (Q2368692) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- The \$-calculus process algebra for problem solving: A paradigmatic shift in handling hard computational problems (Q2383594) (← links)
- Tutorial on separation results in process calculi via leader election problems (Q2464946) (← links)
- Modelling dynamic web data (Q2566029) (← links)
- CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence (Q3498448) (← links)
- Linear-Ordered Graph Grammars: Applications to Distributed Systems Design (Q3507361) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- Logic-Free Reasoning in Isabelle/Isar (Q5505517) (← links)
- From rewrite rules to bisimulation congruences (Q5958468) (← links)
- An axiomatic semantics for Esterel (Q5958617) (← links)