scientific article; zbMATH DE number 7449996

MaRDI QIDQ3385652FDOQ3385652

Authors: Daniele Gorla, Ivano Salvo, Adolfo Piperno 

Publication date: 20 December 2021

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2019.6

Title of this publication is not available (Why is that?)

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)

Cites Work

• Practical graph isomorphism. II.
• Petri nets, event structures and domains. I
• Process algebra for synchronous communication
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic
• Modeling concurrency with partial orders
• Title not available (Why is that?)
• Refinement of actions and equivalence notions for concurrent systems
• Communicating sequential processes
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logic for true concurrency
• Title not available (Why is that?)
• On characterising distributability
• Title not available (Why is that?)
• A completed hierarchy of true concurrent equivalences
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• Dynamic Causality in Event Structures
• Conflict vs causality in event structures
• Characterising spectra of equivalences for event structures, logically

This page was built for publication:

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