A High Level Analysis Tool for Concurrent Programs.

Paolo Mancarella Franco Turini

Published in: ICPP (1983)

Keyphrases

analysis tool
concurrent programs
high level
low level
concurrent programming
programming language
process algebra
concurrent processes
formal specification
real time
information systems
knowledge base
web services
web applications