Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Document type : Conference papers
Page :
sorted by
Image document

First-Order Dynamic Logic for Compensable Processes

 Roberto Bruni , Carla Ferreira , Anne Kersten Kauer
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.104-121, ⟨10.1007/978-3-642-30829-1_8⟩
Conference papers hal-01529601v1
Image document

Adaptable Processes (Extended Abstract)

 Mario Bravetti , Cinzia Di Giusto , Jorge A. Pérez , Gianluigi Zavattaro
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.90-105, ⟨10.1007/978-3-642-21461-5_6⟩
Conference papers hal-01583325v1
Page :