108
Voted
EURODAC
1994
IEEE
15 years 7 months ago
1994
IEEE
A set of concurrent processes communicating through shared variables is an often used model for hardware systems. This paper presents three modeling techniques for representing su...