Marino Miculan

Theor. Comput. Sci., 2016

A Specification of Open Transactional Memory for Haskell.

[BibT_eX]

[DOI]

CoRR, 2016

On the Bisimulation Hierarchy of State-to-Function Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems.

[BibT_eX]

[DOI]

Marco Bernardo

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

2015

Behavioural equivalences for coalgebras with unobservable moves.

[BibT_eX]

[DOI]

Tomasz Brengos

J. Log. Algebraic Methods Program., 2015

Structural operational semantics for continuous state stochastic transition systems.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2015

Open Transactions on Shared Memory.

[BibT_eX]

[DOI]

Andrea Toneguzzo

Proceedings of the Coordination Models and Languages, 2015

2014

Distributed execution of bigraphical reactive systems.

[BibT_eX]

[DOI]

Alessio Mansutti

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

A CSP implementation of the bigraph embedding problem.

[BibT_eX]

[DOI]

CoRR, 2014

GSOS for non-deterministic processes with quantitative aspects.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

Finding a Forest in a Tree - The Matching Problem for Wide Reactive Systems.

[BibT_eX]

[DOI]

Romeo Rizzi

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

A Model of Countable Nondeterminism in Guarded Type Theory.

[BibT_eX]

[DOI]

Ales Bizjak

Lars Birkedal

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems.

[BibT_eX]

[DOI]

Alessio Mansutti

Proceedings of the Distributed Applications and Interoperable Systems, 2014

2013

Weak bisimulations for labelled transition systems weighted over semirings.

[BibT_eX]

[DOI]

CoRR, 2013

2012

Measurable stochastics for Brane Calculus.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine

[BibT_eX]

[DOI]

Ilaria Sambarino

Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012

Synthesis of Distributed Mobile Programs Using Monadic Types in Coq.

[BibT_eX]

[DOI]

Marco Paviotti

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

Structural Operational Semantics for Continuous State Probabilistic Processes.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

2011

Unobservable Intrusion Detection based on Call Traces in Paravirtualized Systems.

[BibT_eX]

Carlo Maiero

Proceedings of the SECRYPT 2011 - Proceedings of the International Conference on Security and Cryptography, Seville, Spain, 18, 2011

2010

Graph Algebras for Bigraphs.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

2009

A framework for protein and membrane interactions

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

Bigraphical models for protein and membrane interactions

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

DBtk: A Toolkit for Directed Bigraphs.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

A Categorical Model of the Fusion Calculus.

[BibT_eX]

[DOI]

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

Deriving Barbed Bisimulations for Bigraphical Reactive Systems.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Controlling resource access in Directed Bigraphs.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Implementing Spi Calculus Using Nominal Techniques.

[BibT_eX]

[DOI]

Temesghen Kahsai

Proceedings of the Logic and Theory of Algorithms, 2008

PicNIc - Pi-calculus non-interference checker.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts.

[BibT_eX]

[DOI]

Alberto Ciaffaglione

Luigi Liquori

J. Autom. Reason., 2007

An Algebra for Directed Bigraphs.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, 2007

Directed Bigraphs.

[BibT_eX]

[DOI]

Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

Undecidability of Model Checking in Brane Logic.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Developments in Computational Models, 2007

Reactive Systems over Directed Bigraphs.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

About permutation algebras, (pre)sheaves and named sets.

[BibT_eX]

[DOI]

Fabio Gadducci

Ugo Montanari

High. Order Symb. Comput., 2006

Consistency of the theory of contexts.

[BibT_eX]

[DOI]

J. Funct. Program., 2006

Modal Logics for Brane Calculus.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

2005

Translating specifications from nominal logic to CIC with the theory of contexts.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005

A Unifying Model of Variables and Names.

[BibT_eX]

[DOI]

Kidane Yemane

Proceedings of the Foundations of Software Science and Computational Structures, 2005

2004

Modeling Fresh Names in the ?-calculus Using Abstractions.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

Unifying Recursive and Co-recursive Definitions in Sheaf Categories.

[BibT_eX]

[DOI]

Pietro Di Gianantonio

Proceedings of the Foundations of Software Science and Computation Structures, 2004

2003

Preface.

[BibT_eX]

[DOI]

Marina Lenisa

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

Some Characterization Results for Permutation Algebras.

[BibT_eX]

[DOI]

Fabio Gadducci

Ugo Montanari

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

A framework for typed HOAS and semantics.

[BibT_eX]

[DOI]

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

Imperative Object-Based Calculi in Co-inductive Type Theories.

[BibT_eX]

[DOI]

Alberto Ciaffaglione

Luigi Liquori

Proceedings of the Logic for Programming, 2003

Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax.

[BibT_eX]

[DOI]

Alberto Ciaffaglione

Luigi Liquori

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002

Ambient Calculus and its Logic in the Calculus of Inductive Constructions.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Logical Frameworks and Meta-Languages, 2002

A Unifying Approach to Recursive and Co-recursive Definitions.

[BibT_eX]

[DOI]

Pietro Di Gianantonio

Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002

2001

Developing (Meta)Theory of Lambda-calculus in the Theory of Context.

[BibT_eX]

[DOI]

Proceedings of the Mechanized Reasoning about Languages with Variable Binding, 2001

pi-calculus in (Co)inductive-type theory.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

On the Formalization of the Modal µ-Calculus in the Calculus of Inductive Constructions.

[BibT_eX]

[DOI]

Inf. Comput., 2001

Preface.

[BibT_eX]

[DOI]

Marina Lenisa

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

The Theory of Contexts for First Order and Higher Order Abstract Syntax.

[BibT_eX]

[DOI]

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic.

[BibT_eX]

[DOI]

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

1999

The Journal of High Energy Physics: Scientific Publishing on the Web.

[BibT_eX]

Proceedings of WebNet 99, 1999

Formalizing a Lazy Substitution Proof System for µ-calculus in the Calculus of Inductive Constructions.

[BibT_eX]

[DOI]

Proceedings of the Automata, 1999

1998

Encoding Modal Logics in Logical Frameworks.

[BibT_eX]

[DOI]

Stud Logica, 1998

A Natural Deduction style proof system for propositional μ-calculus and its formalization in inductive type theories

[BibT_eX]

[DOI]

CoRR, 1998

1995

A Natural Deduction Approach to Dynamic Logic.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, 1995

Modal mu-Types for Processes

[BibT_eX]

[DOI]

Fabio Gadducci

Proceedings of the Proceedings, 1995

1993

The Expressive Power of Structural Operational Semantics with Explicit Assumptions.

[BibT_eX]

[DOI]