Compositionality of Safe Communication in Systems of Team Automata
Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn
Topics & Concepts
Computer scienceCommunication sourceAutomatonPrinciple of compositionalityComponent (thermodynamics)Context (archaeology)Distributed computingAction (physics)Type (biology)Theoretical computer scienceArtificial intelligenceTelecommunicationsQuantum mechanicsBiologyThermodynamicsPhysicsEcologyPaleontologyAdvanced Software Engineering MethodologiesFormal Methods in VerificationService-Oriented Architecture and Web Services