Choreography Automata
Franco Barbanera, Ivan Lanese, Emilio Tuosto
Topics & Concepts
Computer scienceChoreographyAsynchronous communicationAutomatonDeadlockFinite-state machineTheoretical computer scienceReachabilitySemantics (computer science)Petri netRange (aeronautics)Pushdown automatonTimed automatonProjection (relational algebra)Programming languageAlgorithmComputer networkLiteratureMaterials scienceArtComposite materialDanceLogic, programming, and type systemsFormal Methods in VerificationCellular Automata and Applications