Carla Ferreira

	2011
17		Carla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira, Gianluigi Zavattaro: Advanced Mechanisms for Service Combination and Transactions. Results of the SENSORIA Project 2011: 302-325
16		Y. Howard, Stefan Gruner, Andrew M. Gravell, Carla Ferreira, Juan Carlos Augusto: Model-Based Trace-Checking CoRR abs/1111.2825: (2011)
15		Andrew M. Gravell, Y. Howard, Juan Carlos Augusto, Carla Ferreira, Stefan Gruner: Concurrent Development of Model and Implementation CoRR abs/1111.2826: (2011)
	2010
14		Ivan Lanese, Cátia Vaz, Carla Ferreira: On the Expressive Power of Primitives for Compensation Handling. ESOP 2010: 366-386
	2009
13		Cátia Vaz, Carla Ferreira: Towards Compensation Correctness in Interactive Systems. WS-FM 2009: 161-177
	2008
12		Cátia Vaz, Carla Ferreira, António Ravara: Dynamic Recovering of Long Running Transactions. TGC 2008: 201-215
11		Luís Caires, Carla Ferreira, Hugo Torres Vieira: A Process Calculus Analysis of Compensations. TGC 2008: 87-103
	2005
10		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		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		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		Michael J. Butler, Carla Ferreira: An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions. COORDINATION 2004: 87-104
	2003
6		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		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		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		Carla Ferreira, Michael J. Butler: Using B Refinement to Analyse Compensating Business Processes. ZB 2003: 477-496
	2002
2		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		Michael J. Butler, Carla Ferreira: A Process Compensation Language. IFM 2000: 61-76

Coauthor Index

1	Juan Carlos Augusto	[4] [5] [6] [15] [16]
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] [15] [16]
8	Catherine Griffin	[2]
9	Stefan Gruner	[4] [15] [16]
10	Peter Henderson	[2]
11	C. A. R. Hoare (Tony Hoare)	[8] [10]
12	Y. Howard	[4] [15] [16]
13	Ivan Lanese	[14] [17]
14	Michael Leuschel	[4] [6]
15	Hernán C. Melgratti	[10]
16	Ugo Montanari	[10]
17	Karen M. Y. Ng	[6]
18	Muan Yong Ng	[9]
19	António Ravara	[12] [17]
20	Cátia Vaz	[12] [13] [14]
21	Hugo Torres Vieira	[11] [17]
22	David Vines	[2]
23	Gianluigi Zavattaro	[17]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page