Open AccessA Process Specification Formalism1
Author(s) -
Sjouke Mauw,
G. J. Veltink
Publication year - 1990
Publication title -
fundamenta informaticae
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.311
H-Index - 67
eISSN - 1875-8681
pISSN - 0169-2968
DOI - 10.3233/fi-1990-13202
Subject(s) - computer science , programming language , correctness , algebraic specification , formal specification , process calculus , formal methods , formal verification , operational semantics , formalism (music) , modular design , specification language , semantics (computer science) , theoretical computer science , art , musical , visual arts
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom