Specification and verification of concurrent systems by causality and realizability
Manfred Broy
Topics & Concepts
RealizabilityComputer scienceProgramming languageSemantics (computer science)Recursion (computer science)Operational semanticsTemporal logicTheoretical computer scienceDenotational semanticsAbstractionInterface (matter)Model checkingParallel computingPhilosophyEpistemologyMaximum bubble pressure methodBubbleFormal Methods in VerificationPetri Nets in System ModelingEmbedded Systems Design Techniques