Calculi for interaction
From MaRDI portal
Recommendations
Cited in
(28)- scientific article; zbMATH DE number 785050 (Why is no real title available?)
- Molecular interaction.
- Dynamic connectors for concurrency
- Shallow linear action graphs and their embeddings
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators
- Explicit fusions
- From rewrite rules to bisimulation congruences
- A categorical framework for typing CCS-style process communication
- A thread calculus with molecular dynamics
- Pure bigraphs: structure and dynamics
- Locating reaction with 2-categories
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
- A generic type system for the pi-calculus
- scientific article; zbMATH DE number 7450001 (Why is no real title available?)
- A brief history of process algebra
- Deriving bisimulation congruences: a 2-categorical approach
- Pseudo-commutative monads
- Bigraphs and their algebra
- Two-dimensional linear algebra
- scientific article; zbMATH DE number 1930740 (Why is no real title available?)
- Foundations of Software Science and Computational Structures
- Dynamical systems and sheaves
- Normal forms for algebras of connections.
- Variations on mobile processes
- scientific article; zbMATH DE number 1555188 (Why is no real title available?)
- scientific article; zbMATH DE number 1759603 (Why is no real title available?)
- Elementary control structures
This page was built for publication: Calculi for interaction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1901716)