On the domain of traces and sequential composition

Authors:
Marta Z. Kwiatkowska
Affiliations:
-
Venue:
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1
Year:
1991

Associative Omega-products of Traces

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Associative Omega-product of Processes

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Associative Omega-product of Processes

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Associative Omega-products of Traces

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
On Topological Hierarchies of Temporal Properties

Fundamenta Informaticae

Hi-index	0.00