Deterministic Concurrent Systems

Deterministic concurrent system are “locally commutative” concurrent systems. We characterise these systems by means of their combinatorial properties.

Saved in:
Bibliographic Details
Published inApplication and Theory of Petri Nets and Concurrency Vol. 12734; pp. 423 - 442
Main Author Abbes, Samy
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2021
Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Concurrency
Lattice
Möbius transform
Trace monoid
Online AccessGet full text

Cover

More Information
Summary:Deterministic concurrent system are “locally commutative” concurrent systems. We characterise these systems by means of their combinatorial properties.
ISBN:3030769828
9783030769826
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-030-76983-3_21