EURODAC
1994
IEEE
14 years 3 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...