Connections between a Concrete and an Abstract Model of Concurrent Systems.
VenueBMFPS
Year1989
ProceedingsMathematical Foundations of Programming Semantics
DBLP recordconf/mfps/Stark89 ↗
Browse the full MFPS paper archive.
Browse the full MFPS paper archive.