Login / Signup
Calculi for concurrent processes.
Gérard Boudol
Published in:
J. Comput. Sci. Technol. (1998)
Keyphrases
</>
concurrent processes
petri net
concurrent programs
sequent calculi
qualitative spatial reasoning
vague concepts
qualitative spatial and temporal reasoning
real time
reasoning problems
qualitative spatial
databases
multiscale
constraint satisfaction problems
spatial relations
web service composition