| A Calculus For Attribute-Based Memory Updates | 0 | 0.34 | 2021 |
| Towards a formal model for composable container systems | 0 | 0.34 | 2020 |
| Computing Embeddings of Directed Bigraphs. | 0 | 0.34 | 2020 |
| Software Transactional Memory with Interactions | 0 | 0.34 | 2020 |
| Constructive logical characterizations of bisimilarity for reactive probabilistic systems. | 0 | 0.34 | 2019 |
| An Abstract Distributed Middleware for Transactions over Heterogeneous Stores. | 0 | 0.34 | 2019 |
| Towards User Recognition by Shallow Web Traffic Inspection. | 0 | 0.34 | 2019 |
| Deciding Hedged Bisimilarity. | 0 | 0.34 | 2018 |
| Deciding Weak Weighted Bisimulation. | 0 | 0.34 | 2017 |
| Loose Graph Simulations. | 0 | 0.34 | 2017 |
| Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation. | 0 | 0.34 | 2017 |
| Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems. | 1 | 0.41 | 2016 |
| A Specification of Open Transactional Memory for Haskell. | 0 | 0.34 | 2016 |
| On the Bisimulation Hierarchy of State-to-Function Transition Systems. | 0 | 0.34 | 2016 |
| Open Transactions On Shared Memory | 1 | 0.39 | 2015 |
| Structural operational semantics for continuous state stochastic transition systems. | 4 | 0.42 | 2015 |
| Distributed execution of bigraphical reactive systems. | 3 | 0.44 | 2015 |
| Structural operational semantics for non-deterministic processes with quantitative aspects. | 5 | 0.41 | 2014 |
| Gsos For Non-Deterministic Processes With Quantitative Aspects | 9 | 0.48 | 2014 |
| A CSP implementation of the bigraph embedding problem. | 2 | 0.41 | 2014 |
| A Model of Countable Nondeterminism in Guarded Type Theory. | 9 | 0.48 | 2014 |
| Multi-Agent Systems Design And Prototyping With Bigraphical Reactive Systems | 12 | 0.61 | 2014 |
| Behavioural equivalences for coalgebras with unobservable moves. | 6 | 0.47 | 2014 |
| Finding a Forest in a Tree - The Matching Problem for Wide Reactive Systems. | 0 | 0.34 | 2014 |
| Weak bisimulations for labelled transition systems weighted over semirings. | 8 | 0.46 | 2013 |
| Implementing The Stochastics Brane Calculus In A Generic Stochastic Abstract Machine | 0 | 0.34 | 2012 |
| Synthesis of Distributed Mobile Programs Using Monadic Types in Coq. | 1 | 0.36 | 2012 |
| Structural Operational Semantics for Continuous State Probabilistic Processes. | 8 | 0.46 | 2012 |
| Measurable stochastics for Brane Calculus | 7 | 0.51 | 2012 |
| Unobservable Intrusion Detection based on Call Traces in Paravirtualized Systems. | 1 | 0.38 | 2011 |
| Graph Algebras for Bigraphs | 4 | 0.41 | 2010 |
| Bigraphical Models For Protein And Membrane Interactions | 6 | 0.58 | 2009 |
| DBtk: a toolkit for directed bigraphs | 9 | 0.69 | 2009 |
| A Framework For Protein And Membrane Interactions | 3 | 0.42 | 2009 |
| A Categorical Model of the Fusion Calculus | 13 | 0.53 | 2008 |
| Deriving Barbed Bisimulations for Bigraphical Reactive Systems | 2 | 0.37 | 2008 |
| Undecidability of Model Checking in Brane Logic | 0 | 0.34 | 2008 |
| An Algebra for Directed Bigraphs | 6 | 0.64 | 2008 |
| Controlling resource access in Directed Bigraphs | 1 | 0.37 | 2008 |
| Implementing Spi Calculus Using Nominal Techniques | 4 | 0.45 | 2008 |
| Types for Proofs and Programs, International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007, Revised Selected Papers | 11 | 0.96 | 2008 |
| Directed Bigraphs | 10 | 0.92 | 2007 |
| Reactive systems over directed bigraphs | 16 | 0.95 | 2007 |
| Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts | 7 | 0.48 | 2007 |
| About permutation algebras, (pre)sheaves and named sets | 37 | 1.53 | 2006 |
| Modal logics for brane calculus | 10 | 0.55 | 2006 |
| Consistency of the theory of contexts | 27 | 1.27 | 2006 |
| A unifying model of variables and names | 17 | 0.67 | 2005 |
| Translating specifications from nominal logic to CIC with the theory of contexts | 9 | 0.51 | 2005 |
| Modeling Fresh Names in the ?-calculus Using Abstractions | 0 | 0.34 | 2004 |
