Comparative concurrency semantics and refinement of actions / Robert Jan van Glabbeek - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Comparative concurrency semantics and refinement of actions / Robert Jan van Glabbeek

Comparative concurrency semantics and refinement of actions / Robert Jan van Glabbeek

http://data.bibliotheken.nl/id/nbt/p062328239

50d03c160eaa6a2be7dc16a971f11c30

mainEntity

Comparative concurrency semantics and refinement of actions / Robert Jan van Glabbeek

http://data.bibliotheken.nl/id/nbt/p062328239

about

author

description

Proefschrift Vrije Universiteit, Amsterdam

http://www.w3.org/2001/XMLSchema#string

inLanguage

en

http://www.w3.org/2001/XMLSchema#string

mainEntityOfPage

50d03c160eaa6a2be7dc16a971f11c30

name

Comparative concurrency semantics and refinement of actions

http://www.w3.org/2001/XMLSchema#string

numberOfPages

275

http://www.w3.org/2001/XMLSchema#integer

publication

00ea3ab4b595bbd59d66373b697ea407

sameAs

type

label

Comparative concurrency semantics and refinement of actions / Robert Jan van Glabbeek

http://www.w3.org/2001/XMLSchema#string