Results 11 to 20 of about 22,095 (253)
“Online” Choreography versus „Real” Choreography
Symbolon, 2022 With the installation of the COVID19 pandemic in our lives, already for a year, dance, an art mostly viewed live, on different stages and in theaters, has moved its activity online.
Diana Bejan (Chiripuci)
doaj +2 more sources
, 2020 Online event due to covidInternational audienceAutomata 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.
Lanese, Ivan +5 more
core +4 more sources
, 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.
Chiara Bodei +3 more
core +3 more sources
Science of Computer Programming, 2010 An important feature of the service-oriented approach is the ability to aggregate, through programmable coordination patterns, the activities involved in service interactions.
GUANCIALE R +3 more
core +5 more sources
Choreographies, Logically [PDF]
Distributed Computing, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Marco Carbone +2 more
openaire +7 more sources
Electronic Proceedings in Theoretical Computer Science, 2013 In Proceedings WWV 2013, arXiv:1308 ...
LANESE, IVAN +2 more
openaire +5 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 +2 more sources
Choreography of the centrosome [PDF]
Heliyon, 2020 More than a century ago, the centrosome was discovered and described as "the true division organ of the cell". Electron microscopy revealed that a centrosome is an amorphous structure or pericentriolar protein matrix that surrounds a pair of well-organized centrioles.
openaire +3 more sources
The Immunometabolism Choreography [PDF]
Cell Metabolism, 2017 At Cell Metabolism, we often banter that “all roads lead to metabolism.” Over the years, we have witnessed the spectacular growth and integration of the metabolism field with other disciplines such as cancer biology, microbiology, and neurobiology.
Nikla, Emambokus +3 more
openaire +2 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 +5 more sources