scientific article
From MaRDI portal
Publication:3718143
zbMath0589.68025MaRDI QIDQ3718143
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Modeling concurrency with partial orders, Denotational semantics in the cpo and metric approach, Concurrent transition systems, Towards a complete hierarchy of compositional dataflow models, Temporal structures, Abstraction for concurrent objects, Trade-offs in true concurrency: Pomsets and mazurkiewicz traces, Unnamed Item, Conflict vs causality in event structures, Graphical models of separation logic, Toward an algebraic theory of systems, Generic Models of the Laws of Programming, An algebra for pomsets.
