( en | de | ru )

 

Disambiguation of "Castellani, Ilaria"

Author of the publication

copydeleteadd this publication to your clipboard
EXPRESSing Session Types.

, , , and . EXPRESS/SOS, volume 387 of EPTCS, page 8-25. (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ottmar Castellani

Christopher Castellani

Ilaria Rinaldi

Ilaria Pascucci

Ilaria Marchetti

 

Other publications of authors with the same name

Process Algebras with Localities.. Handbook of Process Algebra, North-Holland / Elsevier, (2001)A Theory of Process with Localities (Extended Abstract)., , , and . CONCUR, volume 630 of Lecture Notes in Computer Science, page 108-122. Springer, (1992)Concurrency and Atomicity., and . Theor. Comput. Sci., (1988)Bisimulations and Abstraction Homomorphisms.. J. Comput. Syst. Sci., 34 (2/3): 210-235 (1987)Asynchronous Sessions with Input Races., , and . PLACES@ETAPS, volume 356 of EPTCS, page 12-23. (2022)Flow Models of Distributed Computations: Three Equivalent Semantics for CCS, and . Inf. Comput., 114 (2): 247-314 (November 1994)Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra., , , , and . Concurrency, Graphs and Models, volume 5065 of Lecture Notes in Computer Science, page 757-777. Springer, (2008)Reactive Concurrent Programming Revisited., , , and . APC 25, volume 162 of Electronic Notes in Theoretical Computer Science, page 49-60. Elsevier, (2005)Permutation of transitions: An event structure semantics for CCS and SCCS., and . REX Workshop, volume 354 of Lecture Notes in Computer Science, page 411-427. Springer, (1988)Bisimulations and Abstraction Homomorphisms.. TAPSOFT, Vol.1, volume 185 of Lecture Notes in Computer Science, page 223-238. Springer, (1985)