scientific article; zbMATH DE number 7449996

MaRDI QIDQ3385652FDOQ3385652

Ivano Salvo, Adolfo Piperno, Daniele Gorla

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
• Linear logic
• Modeling concurrency with partial orders
• Refinement of actions and equivalence notions for concurrent systems
• Communicating sequential processes
• A Logic for True Concurrency
• On characterising distributability
• 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?)
• 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?)

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)