Towards an algebra for timed behaviours
From MaRDI portal
Publication:1199544
DOI10.1016/0304-3975(92)90018-BzbMath0772.68037MaRDI 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
08A70: Applications of universal algebra in computer science
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Metric semantics for true concurrent real time, Semantic domains of timed event structures, Towards an algebra for timed behaviours
Cites Work