Fixed Ponts in Process Algebras with Internal Actions ( a preliminary note).
VenueBMFPS
Year1985
ProceedingsMathematical Foundations of Programming Semantics
DBLP recordconf/mfps/BensonT85 ↗
Browse the full MFPS paper archive.
Browse the full MFPS paper archive.