A Programming Logic for Formal Concurent Systems.

E. Pascal Gribomont

Published in: CONCUR (1990)

Keyphrases

distributed systems
complex systems
computing systems
programming environment
digital circuits
real time
genetic algorithm
programming language
knowledge based systems
building blocks
first order logic
defeasible logic
asynchronous circuits
reactive systems