Trace Nets

Publisher Website

1 January 1993

book chapter
Published by Springer Nature

p. 21-50
https://doi.org/10.1007/3-540-56596-5_27

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Connections between a concrete and an abstract model of concurrent systems
Published by Springer Nature ,2006
Compositional relational semantics for indeterminate dataflow networks
Published by Springer Nature ,2005
Transition Systems, Event Structures and Unfoldings
DAIMI Report Series, 1991
Elementary transition systems
DAIMI Report Series, 1990