| |
MOBILITY & GLOBAL COMPUTING |
| » |
Security Policies as Membranes in Systems for Global Computing
(full version),
Logical Methods in Computer Science 2005.
|
| » |
Security Policies as Membranes in Systems for Global Computing,
FGUC 2004.
|
| » |
A Dependently Typed Ambient Calculus,
ESOP 2004
|
| » |
A Distributed Calculus for Role-Based Access Control (full version),
Submitted 2004
|
| » |
A Distributed Calculus for Role-Based Access Control,
CSFW 2004
|
| » |
A Calculus of Bounded Capacities (Full version),
Submitted 2004
|
| » |
A Calculus of Bounded Capacities,
ASIAN 2003
|
| » |
Communication and Mobility Control in Boxed Ambients,
Information and Computation
|
| » |
Cryptographic Primitives in Mobile Boxed Ambients,
ICALP 2003
|
| » |
Communication Interference in Mobile Boxed Ambients,
FST&TCS 2002
|
| » |
Typing and Subtyping Mobility in Boxed Ambients,
CONCUR 2002 |
| » |
A Calculus of Mobile Resources,
CONCUR 2002 |
| » |
High-level Petri Nets as Type Theories in the Join
Calculus,
FOSSACS 2001 |
| » |
A Type Inference Algorithm for Secure Ambients,
TOSCA 2001 |
|
|
|
SEMANTICS |
| » |
Labels from Reductions: Towards a General Theory,
CALCO 2005 |
| » |
Reactive Systems over Cospans,
LICS 2005 |
| » |
Placing Reactions with 2-Categories,
Theoretical Computer Science |
| » |
Observational congruences for dynamically reconfigurable tile systems,
Theoretical Computer Science 2004 |
| » |
Deriving Bisimulation Congruences: 2-categories vs precategories,
FOSSACS 2003 (
EATCS 2003 Best Theoretical Paper Award) |
| » |
Deriving Bisimulation Congruences using 2-categories,
Nordic Journal of Computing 2003 |
| » |
Deriving Bisimulation Congruences: A 2-Categorical
Approach,
EXPRESS 2002 |
| » |
Open-ended Systems, Dynamic Bisimulation, and Tile Logic,
IFIP TCS 2000 |
|
|
| |
LOGICS |
| » |
Spatial Logics for Bigraphs,
ICALP 2005 |
| » |
Bigraphical Logics for XML,
SEBD 2005 |
| » |
A Hybrid Intuitionistic Logic: Semantics and Decidability,
Submitted 2005 |
| » |
A Distributed Kripke Semantics,
Technical Report 2004 |
|
|
|
|
| |
TRUST |
| » |
A Formal Framework for Concrete Reputation Systems,
Submitted 2005 |
| » |
A Calculus of Trust,
FST&TCS 2004 |
| » |
A Formal Model of Trust in Dynamic Networks,
SEFM 2003 |
|
|
|
LANGUAGES |
| » |
The Inheritance Anomaly: ten years after,
OOPS 2004 |
| » |
Jeeg: Temporal Constraints for the Synchronization of Concurrent Objects,
Concurrency and Computation: Practice and Experience, 2003 |
| » |
Jeeg: A Programming Language for Concurrent Object
Synchronization,
Java Grande ISCOPE 2002 |
|
|
| |
NETS |
| » |
The Algebraic Structure of Petri Nets,
Current Trends in Theoretical Computer Science |
| » |
Algebraic Theories for Contextual Pre-Nets,
ICTCS 2003 |
| » |
Properties of Distributed Timed-Arc Petri Nets,
FST&TCS 2001 |
| » |
Towards a Notion of Distributed Time for Petri Nets,
ICATPN 2001 |
| |
|
|
TALKS |
| » |
Security Policies as Membranes in Systems for Global Computing,
Workshop on Global Computing, Venice
|
| » |
A Calculus of Trust,
Workshop on Global Computing, Venice
|
| » |
Context-Aware Software-Intensive Systems,
EU/NSF Joint Workshop on Engineering Software-Intensive
Systems, Edinburgh
|
| » |
Congruences for Contextual Graph-Rewriting,
Graph Transformations and Process Algebras Seminar, Dagstuhl
|
| » |
Global Computing II: A new FET Programme for FP6,
FET Information Day 2004, Brussels
|
| » |
Global Computing II: A new FET Programme for FP6,
Global Computing 2004, Rovereto
|
| » |
Coinductive Reasoning for Contextual Graph Rewriting,
Global Computing 2004, Rovereto, March 2004
|
| » |
A Dependently Typed Ambient Calculus,
Global Computing 2004, Rovereto, March 2004
|
| » |
A Role for Theory in UbiNet,
1st UK-UbiNet Workshop on Ubiquitous Computing Networks, London
|
| » |
(Calculi and Types for) Global Computing,
Summer School on Foundations of Security, Oregon
|
| » |
A 2-Categorical Approach to Bisimulation Congruences,
Formal Methods for Mobility, Marseille
|
| » |
Temporal Constraints for Concurrent Object Synchronisation,
WOODS 2003, Warsaw |
| » |
Foundations of Global Computing,
York
|
| » |
Deriving Bisimulation Congruences: 2-categories vs precategories,
Workshop on Mobility and Concurrency, Ottawa |
| » |
Subtyping for Access Control,
MyThS Review Meeting, Trento |
| » |
Capacity Bounded Computational Ambients,
Types for Global Computing, Paris |
| » |
A Programming Language for Concurrent Object Synchronisation,
Bath |
| » |
Global Computing: A 5 mins personal overview of EU FET GC,
EPSRC Workshop on Programmable Networks, Warwick |
| » |
Communication Interference in Mobile Boxed Ambients,
MyThS Annual Meeting, Bertinoro |
| » |
Capacity Bounded Computational Ambients,
Summer School FOSAD 2002, Bertinoro |
| » |
Deriving Bisimulation Congruences: A 2-categorical approach,
Express 2002 |
| » |
Analysis of Systems,
Workshop on Global Computing at ICALP 2002 |
| |
|
