| Publication | Date of Publication | Type |
|---|
Pattern matching over a dynamic network of tuple spaces
Lecture Notes in Computer Science | 2021-05-20 | Paper |
A criterion for separating process calculi
| 2021-02-24 | Paper |
Replacement freeness: a criterion for separating process calculi
Journal of Logical and Algebraic Methods in Programming | 2020-11-09 | Paper |
scientific article; zbMATH DE number 7215288 (Why is no real title available?)
| 2020-06-26 | Paper |
A formal approach to the engineering of domain-specific distributed systems
Journal of Logical and Algebraic Methods in Programming | 2020-01-31 | Paper |
Basic observables for processes
Automata, Languages and Programming | 2018-07-04 | Paper |
Programming autonomic systems with multiple constraint stores
Software, Services, and Systems | 2015-06-22 | Paper |
Programming and verifying component ensembles
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
On the expressive power of \textsc{Klaim}-based calculi
| 2013-09-25 | Paper |
A WSDL-based type system for asynchronous WS-BPEL processes
Formal Methods in System Design | 2011-05-23 | Paper |
An accessible verification environment for UML models of services
Journal of Symbolic Computation | 2011-01-14 | Paper |
From flow logic to static type systems for coordination languages
Science of Computer Programming | 2010-04-29 | Paper |
A formal basis for reasoning on programmable QoS
Lecture Notes in Computer Science | 2010-03-23 | Paper |
The Klaim project: Theory and practice
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Dynamic management of capabilities in a network aware coordination language
The Journal of Logic and Algebraic Programming | 2009-11-04 | Paper |
On Observing Dynamic Prioritised Actions in SOC
Automata, Languages and Programming | 2009-07-14 | Paper |
C WS: A Timed Service-Oriented Calculus
Theoretical Aspects of Computing – ICTAC 2007 | 2008-09-17 | Paper |
Regulating Data Exchange in Service Oriented Applications
Lecture Notes in Computer Science | 2008-07-01 | Paper |
Specifying and Analysing SOC Applications with COWS
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Basic observables for a calculus for global computing
Information and Computation | 2007-10-10 | Paper |
A Calculus for Orchestration of Web Services
Programming Languages and Systems | 2007-09-04 | Paper |
Global computing in a dynamic network of tuple spaces
Science of Computer Programming | 2007-01-22 | Paper |
Processes, Terms and Cycles: Steps on the Road to Infinity
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Confining data and processes in global computing applications
Science of Computer Programming | 2006-10-25 | Paper |
On the expressive power of \textsc{Klaim}-based calculi
Theoretical Computer Science | 2006-05-29 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
scientific article; zbMATH DE number 2163047 (Why is no real title available?)
| 2005-04-29 | Paper |
MetaKlaim: a type safe multi-stage language for global computing
Mathematical Structures in Computer Science | 2004-09-24 | Paper |
scientific article; zbMATH DE number 2038704 (Why is no real title available?)
| 2004-02-08 | Paper |
scientific article; zbMATH DE number 2036337 (Why is no real title available?)
| 2004-02-02 | Paper |
Klava: a Java package for distributed and mobile applications
Software: Practice and Experience | 2003-02-04 | Paper |
Trace and testing equivalence on asynchronous processes
Information and Computation | 2003-01-14 | Paper |
scientific article; zbMATH DE number 1759601 (Why is no real title available?)
| 2002-11-28 | Paper |
Proof techniques for cryptographic processes
SIAM Journal on Computing | 2002-04-23 | Paper |
Divergence in testing and readiness semantics
Theoretical Computer Science | 2002-03-03 | Paper |
scientific article; zbMATH DE number 1497787 (Why is no real title available?)
| 2001-08-22 | Paper |
Types for access control
Theoretical Computer Science | 2000-08-21 | Paper |
Linda-based applicative and imperative process algebras
Theoretical Computer Science | 2000-08-21 | Paper |
Basic observables for processes
Information and Computation | 2000-01-12 | Paper |
