DMCA
An Actor Algebra for Specifying Distributed Systems: the Hurried Philosophers Case Study (2000)
by
Mauro Gaspari
,
Gianluigi Zavattaro
Venue: | Concurrent Object-Oriented Programming and Petri Nets, Lecture Notes in Computer Science |
Citations: | 8 - 3 self |