Publication | Closed Access

Processes and the denotational semantics of concurrency

EngineeringAutomated ReasoningDenotational SemanticsConcurrent ProgrammingConcurrency TheoryFormal MethodsComputer ScienceConcurrent SystemLanguage StudiesSemanticsFormal VerificationLinguistics