Carla Ferreira

2008
12	EE	Cátia Vaz, Carla Ferreira, António Ravara: Dynamic Recovering of Long Running Transactions. TGC 2008: 201-215
11	EE	Luís Caires, Carla Ferreira, Hugo Torres Vieira: A Process Calculus Analysis of Compensations. TGC 2008: 87-103
2005
10	EE	Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari: Comparing Two Approaches to Compensable Flow Composition. CONCUR 2005: 383-397
9	EE	Michael J. Butler, Carla Ferreira, Muan Yong Ng: Precise Modelling of Compensating Business Transactions and its Application to BPEL. J. UCS 11(5): 712-743 (2005)
2004
8	EE	Michael J. Butler, C. A. R. Hoare, Carla Ferreira: A Trace Semantics for Long-Running Transactions. 25 Years Communicating Sequential Processes 2004: 133-150
7	EE	Michael J. Butler, Carla Ferreira: An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions. COORDINATION 2004: 87-104
2003
6	EE	Juan Carlos Augusto, Carla Ferreira, Andrew M. Gravell, Michael Leuschel, Karen M. Y. Ng: The Benefits of Rapid Modelling for E-business System Development. ER (Workshops) 2003: 17-28
5	EE	Juan Carlos Augusto, Michael J. Butler, Carla Ferreira, Stephen-John Craig: Using SPIN and STeP to Verify Business Processes Specifications. Ershov Memorial Conference 2003: 207-213
4	EE	Juan Carlos Augusto, Y. Howard, Andrew M. Gravell, Carla Ferreira, Stefan Gruner, Michael Leuschel: Model-Based Approaches for Validating Business Critical Systems. STEP 2003: 225-233
3	EE	Carla Ferreira, Michael J. Butler: Using B Refinement to Analyse Compensating Business Processes. ZB 2003: 477-496
2002
2	EE	Mandy Chessell, Catherine Griffin, David Vines, Michael J. Butler, Carla Ferreira, Peter Henderson: Extending the concept of transaction compensation. IBM Systems Journal 41(4): 743-758 (2002)
2000
1	EE	Michael J. Butler, Carla Ferreira: A Process Compensation Language. IFM 2000: 61-76

Coauthor Index

1	Juan Carlos Augusto	[4] [5] [6]
2	Roberto Bruni	[10]
3	Michael J. Butler	[1] [2] [3] [5] [7] [8] [9] [10]
4	Luís Caires	[11]
5	Mandy Chessell	[2]
6	Stephen-John Craig	[5]
7	Andrew M. Gravell	[4] [6]
8	Catherine Griffin	[2]
9	Stefan Gruner	[4]
10	Peter Henderson	[2]
11	C. A. R. Hoare (Tony Hoare)	[8] [10]
12	Y. Howard	[4]
13	Michael Leuschel	[4] [6]
14	Hernán C. Melgratti	[10]
15	Ugo Montanari	[10]
16	Karen M. Y. Ng	[6]
17	Muan Yong Ng	[9]
18	António Ravara	[12]
19	Cátia Vaz	[12]
20	Hugo Torres Vieira	[11]
21	David Vines	[2]