| Refinement kinds: type-safe programming with practical type-level computation | 0 | 0.34 | 2019 |
| Linearity, Control Effects, and Behavioral Types. | 4 | 0.41 | 2017 |
| Composing Interfering Abstract Protocols. | 1 | 0.34 | 2016 |
| Multiparty Session Types Within a Canonical Binary Theory, and Beyond. | 10 | 0.68 | 2016 |
| Foundations of Session Types and Behavioural Contracts. | 10 | 0.57 | 2016 |
| Linear logic propositions as session types. | 17 | 0.74 | 2016 |
| Corecursion and Non-divergence in Session-Typed Processes. | 5 | 0.47 | 2014 |
| Rely-Guarantee Protocols. | 4 | 0.39 | 2014 |
| Linear logical relations and observational equivalences for session-based concurrency. | 13 | 0.63 | 2014 |
| Substructural typestates | 1 | 0.35 | 2014 |
| Behavioral polymorphism and parametricity in session-based communication | 20 | 0.76 | 2013 |
| The type discipline of behavioral separation | 8 | 0.46 | 2013 |
| Information Flow Analysis for Valued-Indexed Data Security Compartments. | 7 | 0.45 | 2013 |
| Towards concurrent type theory | 7 | 0.51 | 2012 |
| Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. | 12 | 0.62 | 2012 |
| SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications | 4 | 0.52 | 2012 |
| Linear logical relations for session-based concurrency | 18 | 0.68 | 2012 |
| A Type System for Flexible Role Assignment in Multiparty Communicating Systems. | 9 | 0.59 | 2012 |
| Dependent session types via intuitionistic linear type theory | 31 | 1.09 | 2011 |
| Type-based access control in data-centric systems | 2 | 0.37 | 2011 |
| A type system for access control views in object-oriented languages | 0 | 0.34 | 2010 |
| Session types as intuitionistic linear propositions | 107 | 3.27 | 2010 |
| 18th International Conference on Concurrency Theory | 0 | 0.34 | 2010 |
| Aliasing control with view-based typestate | 7 | 0.48 | 2010 |
| A simple proof system for lock-free concurrency. | 0 | 0.34 | 2010 |
| Analysis of service oriented software systems with the conversation calculus | 5 | 0.41 | 2010 |
| Dynamic Spatial Logics: A Tutorial Survey | 1 | 0.34 | 2008 |
| Spatial-behavioral types for concurrency and resource control in distributed systems | 11 | 0.64 | 2008 |
| A Process Calculus Analysis of Compensations | 18 | 0.77 | 2008 |
| The conversation calculus: a model of service-oriented computation | 57 | 2.16 | 2008 |
| Extensionality of Spatial Observations in Distributed Systems | 6 | 0.55 | 2007 |
| CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings | 26 | 2.04 | 2007 |
| Logical semantics of types for concurrency | 9 | 0.63 | 2007 |
| Types for dynamic reconfiguration | 3 | 0.48 | 2006 |
| Elimination of quantifiers and undecidability in spatial logics for concurrency | 12 | 0.66 | 2006 |
| SCC: A Service Centered Calculus | 91 | 3.05 | 2006 |
| Spatial-behavioral types, distributed services, and resources | 8 | 0.65 | 2006 |
| Subtyping first-class polymorphic components | 1 | 0.37 | 2005 |
| Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings | 101 | 12.18 | 2005 |
| Behavioral and Spatial Observations in a Logic for the pi-Calculus | 24 | 0.98 | 2004 |
| A spatial logic for concurrency (part I) | 130 | 4.97 | 2003 |
| A Spatial Logic for Concurrency (Part II) | 127 | 5.81 | 2002 |
| A Spatial Logic for Concurrency | 39 | 2.37 | 2001 |
| A Basic Model of Typed Components | 52 | 2.96 | 2000 |
| Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi | 11 | 3.32 | 1998 |
| Proof Net Semantics of Proof Search Computation | 1 | 0.62 | 1997 |
| A Language for the Logical Specification of Processes and Relations | 3 | 0.73 | 1996 |
| SLWV - A Theorem Prover for Logic Programming | 4 | 0.55 | 1992 |
| Towards Distributed Tools for Heterogeneous Logic Programming Environments | 0 | 0.34 | 1989 |
