Towards an algebra for timed behaviours

Theoretical Computer Science

Volumn 103, Issue 2, 1992, Pages 335-363

  Maggiolo Schettini, Andrea ^a   Winkowski, Józef ^b  

^a UNIVERSITY OF PISA   (Italy)

^b INSTITUTE OF COMPUTER SCIENCE   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - EQUIVALENCE CLASSES; DATA PROCESSING - DATA DESCRIPTION; MATHEMATICAL MODELS; MATHEMATICAL TECHNIQUES - ALGEBRA;

EVENT STRUCTURES; TIMED BEHAVIORS;

COMPUTER SCIENCE;

EID: 0026916864     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/0304-3975(92)90018-B     Document Type: Article

References (8)

1. Equivalence notions for concurrent systems and refinement of actions
2. Petri net models for algebraic theories of concurrency
3. A compositional semantics for timed Petri nets
4. An algebraic model for timed behaviours
5. An algebraic model for timed behaviours
6. Petri nets, event structures and domains, Part I
7. Event structure semantics for CCS and related languages
8. Event structures