Towards an algebra for timed behaviours (Q1199544): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Józef Winkowski / rank | |||
Property / author | |||
Property / author: Józef Winkowski / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3975146 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3771632 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3474896 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Towards an algebra for timed behaviours / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Petri nets, event structures and domains. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3667958 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3030239 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0304-3975(92)90018-b / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1994599247 / rank | |||
Normal rank |
Latest revision as of 11:53, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Towards an algebra for timed behaviours |
scientific article |
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