![Abstract algebra / State transition system / Petri net / Structure / Determinism / Model theory / Trace monoid / Denotational semantics / Communicating sequential processes / Models of computation / Mathematics / Theoretical computer science Abstract algebra / State transition system / Petri net / Structure / Determinism / Model theory / Trace monoid / Denotational semantics / Communicating sequential processes / Models of computation / Mathematics / Theoretical computer science](https://www.pdfsearch.io/img/c24aef24a619effad9aa4f64139de923.jpg)
| Document Date: 2000-09-12 07:39:17 Open Document File Size: 2,83 MBShare 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 |