Open AccessFormalizing CORRELATE - from Practice to Pi
Author(s) -
Bert Robben,
Frank Piessens,
Wouter Joosen
Publication year - 1997
Publication title -
electronic workshops in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 1477-9358
DOI - 10.14236/ewic/fa1997.14
Subject(s) - computer science , programming language , process (computing) , pi calculus , software engineering , specification language , process calculus , object language , object oriented programming , natural language , artificial intelligence
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