Towards an algebra for timed behaviours

DOI10.1016/0304-3975(92)90018-BzbMath0772.68037OpenAlexW1994599247MaRDI QIDQ1199544

Andrea Maggiolo-Schettini, Józef Winkowski

Publication date: 16 January 1993

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(92)90018-b

zbMATH Keywords

bisimulationtimed behavioursWinskel's event structures

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Semantic domains of timed event structures ⋮ Towards an algebra for timed behaviours ⋮ Metric semantics for true concurrent real time

Cites Work

• Petri nets, event structures and domains. I
• Towards an algebra for timed behaviours
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Towards an algebra for timed behaviours