Results 11 to 20 of about 5,187 (217)
Choreographies, Logically [PDF]
Distributed Computing, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Marco Carbone +2 more
openaire +7 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 +3 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
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
Towards Refinable Choreographies [PDF]
Electronic Proceedings in Theoretical Computer Science, 2020 In Proceedings ICE 2020, arXiv:2009 ...
Ugo de'Liguoro +2 more
openaire +5 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
On Asynchrony and Choreographies [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 In Proceedings ICE 2017, arXiv:1711 ...
Luís Cruz-Filipe, Fabrizio Montesi
openaire +4 more sources
The role and significance of national values in teaching students to creative thinking [PDF]
BIO Web of Conferences, 2023 Since ancient times, the relationship between language and culture has been closely linked. Their common features associated with national values are combined in folklore.
Naralieva Shakhlo +2 more
doaj +1 more source