Processes and a Fair Semantics for the Ada Rendez-Vous.

J. W. de Bakker Jeffery I. Zucker

Published in: ICALP (1983)

Keyphrases

grand challenges
grand challenge
formal semantics
dynamic aspects
logic programming
process model
technology enhanced learning
real time
machine learning
information technology
semantic information