PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Miculan, Marino"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling Fresh Names in the ?-calculus Using Abstractions.

, , , and . Electr. Notes Theor. Comput. Sci., (2004)

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.

Daniel Marino

Daniel Marino

Sebastian Marino University of Stuttgart

Daniel Marino

D. Marino

 

Other publications of authors with the same name

Consistency of the theory of contexts., , , , and . J. Funct. Program., 16 (3): 327-372 (2006)Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts., , and . J. Autom. Reasoning, 39 (1): 1-47 (2007)Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems., , and . DAIS, volume 8460 of Lecture Notes in Computer Science, page 201-208. Springer, (2014)A Specification of Open Transactional Memory for Haskell., and . CoRR, (2016)Behavioural equivalences for coalgebras with unobservable moves., , and . CoRR, (2014)Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation., and . CoRR, (2017)Imperative Object-Based Calculi in Co-inductive Type Theories., , and . LPAR, volume 2850 of Lecture Notes in Computer Science, page 59-77. Springer, (2003)Distributed execution of bigraphical reactive systems., , and . CoRR, (2015)Structural Operational Semantics for Continuous State Probabilistic Processes., and . CMCS, volume 7399 of Lecture Notes in Computer Science, page 71-89. Springer, (2012)Bigraphical models for protein and membrane interactions, , and . MeCBIC, volume 11 of EPTCS, page 3-18. (2009)