Skip to content

Connections between a Concrete and an Abstract Model of Concurrent Systems.

Eugene W. Stark

VenueBMFPS
Year1989
ProceedingsMathematical Foundations of Programming Semantics

Browse the full MFPS paper archive.