Publication:4134954
From MaRDI portal
zbMath0361.68055MaRDI QIDQ4134954
R. H. Campbell, Peter E. Lauer
Publication date: 1975
68Q25: Analysis of algorithms and problem complexity
68Q45: Formal languages and automata
68N01: General topics in the theory of software
68W99: Algorithms in computer science
Related Items
Operational and denotational semantics for the box algebra, Occurrence Nets Then and Now: The Path to Structured Occurrence Nets