Timing Analysis of Cyclic Concurrent Programs.

C. Samuel Hsieh

Published in: ICSE (1989)

Keyphrases

concurrent programs
concurrent programming
process algebra
concurrent processes
web applications
object oriented
petri net
asynchronous circuits
concurrent systems
database
peer to peer
computer networks
temporal logic