A graph abstract machine describing event structure composition

DOI10.1016/J.ENTCS.2007.04.014MaRDI QIDQ2867884zbMATH OpenOpenAlexFDO

Authors Claudia Faggian, Mauro Piccolo

Publication date 20 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.04.014

zbMATH Keywords

directed acyclic graphgame semanticslinear logicevent structuresproof nets

Mathematics Subject Classification ID

Directed graphs (digraphs), tournaments (05C20) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Partial Orders, Event Structures and Linear Strategies
• Games and strategies as event structures
• scientific article; zbMATH DE number 4018370
• Distributed Strategies Made Easy
• scientific article; zbMATH DE number 4119660

Cites work

• scientific article; zbMATH DE number 1722647 (Why is no real title available?)
• scientific article; zbMATH DE number 1948178 (Why is no real title available?)
• CONCUR 2004 - Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• Computer Science Logic
• Concrete data structures as games
• Foundations of Software Science and Computation Structures
• Linear logic
• Locus solum: From the rules of logic to the logic of rules.
• Partial Orders, Event Structures and Linear Strategies
• Petri nets, event structures and domains. I
• Typed event structures and the \(\pi\)-calculus (extended abstract)

Cited in

(3)

• Typed event structures and the linear \(\pi \)-calculus
• Probabilistic -calculus and event structures
• Partial Orders, Event Structures and Linear Strategies

This page was built for publication: A graph abstract machine describing event structure composition

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