( en | de | ru )

 

Disambiguation of "Fiore, Marcelo P."

Author of the publication

copydeleteadd this publication to your clipboard
A Fully-Abstract Model for the pi-Calculus (Extended Abstract).

, , and . LICS, page 43-54. IEEE Computer Society, (1996)

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.

Roberto Fiore

Silvestro Fiore

Bianca Marisa Fiore

Erna Fiorentini

Daniele Fiore

 

Other publications of authors with the same name

Discrete Generalised Polynomial Functors - (Extended Abstract).. ICALP (2), volume 7392 of Lecture Notes in Computer Science, page 214-226. Springer, (2012)The Algebra of Directed Acyclic Graphs., and . Computation, Logic, Games, and Quantum Foundations, volume 7860 of Lecture Notes in Computer Science, page 37-51. Springer, (2013)Unique factorisation lifting functors and categories of linearly-controlled processes., and . Math. Struct. Comput. Sci., 10 (2): 137-163 (2000)A congruence rule format for name-passing process calculi., and . Inf. Comput., 207 (2): 209-236 (2009)System F i ., , , and . TLCA, volume 7941 of Lecture Notes in Computer Science, page 15-30. Springer, (2013)Semantics of Name and Value Passing., and . LICS, page 93-104. IEEE Computer Society, (2001)A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics., and . LICS, page 49-58. IEEE Computer Society, (2006)Syntactic Considerations on Recursive Types., and . LICS, page 242-252. IEEE Computer Society, (1996)Computing Symbolic Models for Verifying Cryptographic Protocols., and . CSFW, page 160-173. IEEE Computer Society, (2001)Order-Enrichment for Categories of Partial Maps.. Math. Struct. Comput. Sci., 5 (4): 533-562 (1995)