Skip to content

Structured Operational Semantics for Concurrency and Hierarchy.

Andrew C. Uselton

VenueASTACS
Year1993
ProceedingsSTACS

Browse the full STACS paper archive.