Results 11 to 20 of about 31,483 (257)
, 2010 We propose a methodology for statically predicting the possible interaction patterns of services within a given choreography. We focus on choreographies exploiting the event notification paradigm to manage service interactions. Control Flow Analysis techniques statically approximate which events can be delivered to match the choreography constraints ...
BODEI, CHIARA, FERRARI, GIAN-LUIGI
openaire +4 more sources
Operational Choreography [PDF]
Performance Philosophy, 2022 The paper adresses dance in regard to logistical capitalism and its operational politics. Operational politics denotes the control of processes from their inside, regulated and modulated by their very own logic. Instead of subsuming processes to external
Gerko Egert
doaj +2 more sources
Processing Choreography: Thinking with William Forsythe's "Duo" [PDF]
, 2022 Told from the perspective of the dancers, »Processing Choreography: Thinking with William Forsythe's Duo« is an ethnography that reconstructs the dancers' activity within William Forsythe's Duo project.
Waterhouse, Elizabeth
core +3 more sources
Soft thought (in architecture and choreography) [PDF]
, 2012 This article is an introduction to and exploration of the concept of ‘soft thought’. What we want to propose through the definition of this concept is an aesthetic of digital code that does not necessarily presuppose a relation with the generative ...
Portanova, Stamatia, Parisi, L.
core +7 more sources
Choreographies, Logically [PDF]
Distributed Computing, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Marco Carbone +2 more
openaire +9 more sources
, 2020 Automata models are well-established in many areas of computer science and are supported by a wealth of theoretical results including a wide range of algorithms and techniques to specify and analyse systems. We introduce choreography automata for the choreographic modelling of communicating systems.
Barbanera, Franco +2 more
openaire +4 more sources
Electronic Proceedings in Theoretical Computer Science, 2013 In Proceedings WWV 2013, arXiv:1308 ...
LANESE, IVAN +2 more
openaire +5 more sources
, 2018 Choreographic Programming is a correct-by-construction paradigm where a compilation procedure synthesises deadlock-free, concurrent, and distributed communicating processes from global, declarative descriptions of communications, called choreographies. Previous work used choreographies for the synthesis of programs. Alas, there is no formalisation that
Saverio Giallorenzo +2 more
openaire +6 more sources
Choreographies in the wild [PDF]
Science of Computer Programming, 2015 We investigate the use of choreographies in distributed scenarios where, as in the real world, mutually distrusting (and possibly dishonest) participants may be unfaithful to their expected behaviour. In our model, each participant advertises its promised behaviour as a contract. Participants may interact through multiparty sessions, created when their
Massimo Bartoletti +3 more
openaire +3 more sources
Towards Refinable Choreographies [PDF]
Electronic Proceedings in Theoretical Computer Science, 2020 In Proceedings ICE 2020, arXiv:2009 ...
Ugo de'Liguoro +2 more
openaire +8 more sources