A look at concurrency semantics through `lattice glasses'.

For the most recent entries see the Petri Nets Newsletter.

In: Bulletin of the EATCS, Vol. 37, pages 175-180. 1989.

Keywords: asynchronous circuits, concurrent systems, distributive lattice, modelling, Petri net, semi-modular lattice, speed-independent circuits.

Do you need a refined search? Try our search engine which allows complex field-based queries.