Order algebras: a quantitative model of interaction

DOI10.1017/S0960129516000360MaRDI QIDQ4577983zbMATH OpenFDO

Authors Emmanuel Beffara

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)

Recommendations

• Order algebras as models of linear logic
• scientific article; zbMATH DE number 4064457
• An algebra of concurrent non-deterministic processes
• Linear Structures for Concurrency in Probabilistic Programming Languages
• scientific article; zbMATH DE number 3995041

Cites work

• scientific article; zbMATH DE number 3821120 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4074504 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1163636 (Why is no real title available?)
• scientific article; zbMATH DE number 1479606 (Why is no real title available?)
• scientific article; zbMATH DE number 1405669 (Why is no real title available?)
• scientific article; zbMATH DE number 3307642 (Why is no real title available?)
• Compositional Event Structure Semantics for the Internal π-Calculus
• Differential interaction nets
• Event structures with symmetry
• Foundations of nominal techniques: logic and semantics of variables in abstract syntax
• Generalized bialgebras and triples of operads
• Interpreting a Finitary Pi-calculus in Differential Interaction Nets
• Linear independence over tropical semirings and beyond
• Mathematical Foundations of Computer Science 2003
• On full abstraction for PCF: I, II and III
• Partial Orders, Event Structures and Linear Strategies
• 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
• Probabilistic event structures and domains
• Processes as formal power series: a coinductive approach to denotational semantics
• Specification-oriented semantics for communicating processes
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• Symmetries, local names and dynamic (de)-allocation of names
• Testing equivalences for processes
• The differential lambda-calculus
• Time, clocks, and the ordering of events in a distributed system
• True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
• \(\pi\)-calculus, internal mobility, and agent-passing calculi

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)