Order algebras: a quantitative model of interaction

DOI10.1017/S0960129516000360zbMATH Open1398.68357MaRDI QIDQ4577983FDOQ4577983

Publication date: 7 August 2018

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

Mathematics Subject Classification ID

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

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Linear independence over tropical semirings and beyond
On full abstraction for PCF: I, II and III
True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
Probabilistic event structures and domains
Event structures with symmetry
Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax
Compositional Event Structure Semantics for the Internal π-Calculus
Differential interaction nets
Testing equivalences for processes
The differential lambda-calculus
Partial Orders, Event Structures and Linear Strategies
Time, clocks, and the ordering of events in a distributed system
\(\pi\)-calculus, internal mobility, and agent-passing calculi
Specification-oriented semantics for communicating processes
Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
Interpreting a Finitary Pi-calculus in Differential Interaction Nets
Symmetries, local names and dynamic (de)-allocation of names
Mathematical Foundations of Computer Science 2003
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
Processes as formal power series: a coinductive approach to denotational semantics

This page was built for publication: Order algebras: a quantitative model of interaction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4577983)