Relationships between Models of Concurrency Mogens Nielsen∗ - Communicating sequential processes - Document - PDFSEARCH.IO

First Page	Meta Content
	Relationships between Models of Concurrency Mogens Nielsen∗ Add to Reading List Document Date: 2000-09-12 07:39:17 Open Document File Size: 2,83 MB Share Result on Facebook City Piss / / Company Labelled Transition Systems / Unfolding Transition Systems / Deterministic Transition Systems / / Country Italy / / Facility Aarhus University / / IndustryTerm transition systems transition systems / categorical tool / independence transition systems / transition systems / tree-shaped transition systems / / Organization Aarhus University / Computer Science Department / / Person Vladimiro Sassone† Glynn Winskel / / Position representative / universally accepted representative / / Technology DSL / / SocialTag Abstract algebra State transition system Petri net Structure Determinism Model theory Trace monoid Denotational semantics Communicating sequential processes Models of computation

Relationships between Models of Concurrency Mogens Nielsen∗Add to Reading List