Order algebras: a quantitative model of interaction

DOI10.1017/S0960129516000360zbMath1398.68357MaRDI QIDQ4577983

Emmanuel Beffara

Publication date: 7 August 2018

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Ordered structures (06F99)

Cites Work

• Symmetries, local names and dynamic (de)-allocation of names
• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• Differential interaction nets
• Specification-oriented semantics for communicating processes
• Petri nets: applications and relationships to other models of concurrency. Advances in Petri nets 1986, Part II. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986
• Testing equivalences for processes
• On full abstraction for PCF: I, II and III
• The differential lambda-calculus
• True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
• Probabilistic event structures and domains
• Processes as formal power series: a coinductive approach to denotational semantics
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• Event Structures with Symmetry
• Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax
• Linear independence over tropical semirings and beyond
• Compositional Event Structure Semantics for the Internal π-Calculus
• Interpreting a Finitary Pi-calculus in Differential Interaction Nets
• Partial Orders, Event Structures and Linear Strategies
• Time, clocks, and the ordering of events in a distributed system
• Mathematical Foundations of Computer Science 2003
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item