Towards an algebra for timed behaviours (Q1199544)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 94464
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Towards an algebra for timed behaviours |
scientific article; zbMATH DE number 94464 |
Statements
Towards an algebra for timed behaviours (English)
0 references
16 January 1993
0 references
The concept of ``timed behaviours'' is presented, which involves the notions of Winskel's event structures [\textit{G. Winskel}, Lect. Notes Comput. Sic. 255, 325-392 (1987; Zbl 0626.68022)] and bisimulation. Operations, similar to those of CCS, are defined on these behaviours, turning them into an algebra. A large number of definitions and examples is given, with the aim of making the paper complete. However, the complexity of the setting makes any nummary awkward. The most difficult problem is not addressed: characterizing the algebra of timed behaviours --- perhaps as the free algebra in a particular equational class.
0 references
timed behaviours
0 references
Winskel's event structures
0 references
bisimulation
0 references
0.7748013734817505
0 references
0.7693276405334473
0 references
0.7639964818954468
0 references
0.7613796591758728
0 references
0.7589332461357117
0 references
