scientific article
From MaRDI portal
Publication:3385652
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: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Characterising spectra of equivalences for event structures, logically ⋮ Conflict vs causality in event structures
Cites Work
- Linear logic
- A completed hierarchy of true concurrent equivalences
- Modeling concurrency with partial orders
- Petri nets, event structures and domains. I
- Practical graph isomorphism. II.
- On Characterising Distributability
- Process algebra for synchronous communication
- Communicating sequential processes
- A Logic for True Concurrency
- Refinement of actions and equivalence notions for concurrent systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
