Concurrent Machines
From MaRDI portal
Publication:3691067
DOI10.1093/comjnl/28.5.449zbMath0573.68026MaRDI QIDQ3691067
Publication date: 1985
Published in: The Computer Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/comjnl/28.5.449
68Q70: Algebraic theory of languages and automata
Related Items
Models for name-passing processes: Interleaving and causal, Models for concurrency: Towards a classification, Recognizable languages in concurrency monoids, Petri nets and bisimulation, Structure of concurrency, The poset of infinitary traces, An algebraic characterization of independence of Petri net processes, Concurrency and atomicity, Executions: A new partial-order semantics of Petri nets, Event structures and trace monoids, Adequacy-preserving transformations of COSY path programs, Multitraces, hypertraces and partial order semantics, Stable trace automata vs. full trace automata, Labelled domains and automata with concurrency, Petri nets, traces, and local model checking, On the expressiveness of higher dimensional automata, Transformations of sequential specifications into concurrent specifications by synchronization guards