: Esprit Basic Research Action 3148 DEMON (design methods based on nets).
: A fifo-net model for processes with asynchronous communication.
: Modelling systems with dynamic priorities.
: On distributed languages and models for concurrency.
: Partial words versus processes: a short comparison.