Equations for describing dynamic nets of communicating systems

Recent Trends in Data Type Specification - Lecture Notes in Computer Science ◽

10.1007/bfb0014427 ◽

1995 ◽

pp. 170-187 ◽

Cited By ~ 11

Author(s):

Manfred Broy