نتائج البحث - "Barbanera, Franco"

1

A Theory of Formal Choreographic Languages

المؤلفون: Barbanera, Franco, Lanese, Ivan, Tuosto, Emilio

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4a7003885120f7dce502f01a821f10e5Test
http://arxiv.org/abs/2210.08223Test

2

Proceedings - 15th Interaction and Concurrency Experience, ICE 2022

المؤلفون: Barbanera, Franco, Ivan, Lanese, Emilio, Tuosto

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=od______4731::adc13ed604dae39e4b98bed29efe8ae9Test
https://hdl.handle.net/20.500.11769/550752Test

3

Composition of choreography automata

المؤلفون: Barbanera, Franco, Lanese, Ivan, Tuosto, Emilio

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Formal Languages and Automata Theory (cs.FL), Software_SOFTWAREENGINEERING, Computer Science::Logic in Computer Science, ComputingMethodologies_DOCUMENTANDTEXTPROCESSING, Computer Science::Software Engineering, Computer Science::Programming Languages, Computer Science - Formal Languages and Automata Theory, InformationSystems_MISCELLANEOUS, Nonlinear Sciences::Cellular Automata and Lattice Gases, Computer Science::Formal Languages and Automata Theory, Logic in Computer Science (cs.LO)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d1667037f685794b09ec4816bb84d799Test
http://arxiv.org/abs/2107.06727Test

4

Choreography Automata

المؤلفون: Barbanera, Franco, Lanese, Ivan, Tuosto, Emilio

المساهمون: University of Catania [Italy], Foundations of Component-based Ubiquitous Systems (FOCUS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Alma Mater Studiorum University of Bologna (UNIBO), Gran Sasso Science Institute (GSSI), Istituto Nazionale di Fisica Nucleare (INFN), University of Leicester, European Project: 778233,H2020-EU.1.3.3. - Stimulating innovation by means of cross-fertilisation of knowledge ,778233,BEHAPI(2018), Barbanera F., Lanese I., Tuosto E.

المصدر: Lecture Notes in Computer Science ISBN: 9783030500283
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Coordination Models and Languages
COORDINATION 2020-22nd International Conference on Coordination Models and Languages
COORDINATION 2020-22nd International Conference on Coordination Models and Languages, Jun 2020, Valletta, Malta. pp.86-106, ⟨10.1007/978-3-030-50029-0_6⟩
Coordination Models and Languages-22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
Coordination Models and Languages

مصطلحات موضوعية: Communicating systems, Automata models, Communicating finite state machines, Choregraphies, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], 020207 software engineering, Choreography, communicating systems, deadlock, livelock, automata, 0102 computer and information sciences, 02 engineering and technology, Nonlinear Sciences::Cellular Automata and Lattice Gases, 01 natural sciences, Article, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Computer Science::Programming Languages, Computer Science::Formal Languages and Automata Theory