Recursive process definitions with the state operator / J.C.M. Baeten, J.A. Bergstra - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Recursive process definitions with the state operator / J.C.M. Baeten, J.A. Bergstra

Recursive process definitions with the state operator / J.C.M. Baeten, J.A. Bergstra

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

6207087bddee56d4a5f7312f825b6102

mainEntity

Recursive process definitions with the state operator / J.C.M. Baeten, J.A. Bergstra

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

about

author

contributor

inLanguage

en

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

isPartOf

Reports of the Programming Research Group, University of Amsterdam

mainEntityOfPage

6207087bddee56d4a5f7312f825b6102

name

Recursive process definitions with the state operator

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

numberOfPages

13

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

publication

556e51627ff49b44939c18f47ae9601b

sameAs

type

label

Recursive process definitions with the state operator / J.C.M. Baeten, J.A. Bergstra

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