Calculi for interaction

DOI10.1007/S002360050067MaRDI QIDQ1901716zbMATH OpenOpenAlexFDO

Authors Robin Milner

Publication date 15 November 1995

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s002360050067

zbMATH Keywords

interactive computationPetri netstyped lambda calculusterm algebrapi calculusaction calculi

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1333606
• scientific article; zbMATH DE number 785050
• scientific article; zbMATH DE number 522837
• scientific article; zbMATH DE number 1555188
• Closed action calculi

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)