Concepedia
Theoretical Computer Science · 1992 · 21 citations · 2 references
ComputingComputer ScienceComputer SystemsAlgebraFormal MethodsReal-time SystemsDiscrete-event System ModelingModel CheckingPetri NetsTemporal LogicTiming SemanticsTemporal AlgebraTimed AutomataTimed Finite State Machines
2
Petri nets, event structures and domains, part I
Mogens Nielsen, Gordon Plotkin, Glynn Winskel · Theoretical Computer Science · 1981 · 915 citations
Computing, Computer Engineering, Computer Science +9
Event Structures
Glynn Winskel · 1986 · 114 citations