Open AccessSeeking concurrency in rule-based programming
Author(s) -
G.-C. Roman,
Rose Gamble,
William E. Ball
Publication year - 1992
Publication title -
international conference on software engineering
Language(s) - Uncategorized
Resource type - Conference proceedings
DOI - 10.1109/icse.1992.753502
Subject(s) - computer science , programming language , concurrency , concurrent object oriented programming , refinement , refinement calculus , context (archaeology) , concurrent computing , communicating sequential processes , formal methods , theoretical computer science , programming paradigm , inductive programming , procedural programming , semantics (computer science) , paleontology , operational semantics , biology
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