Carla Ferreira
University of Lisbon(PT)Novabase (Portugal)(PT)Universidade Nova de Lisboa(PT)
Publications by Year
Research Areas
Distributed systems and fault tolerance, Service-Oriented Architecture and Web Services, Business Process Modeling and Analysis, Advanced Software Engineering Methodologies, Formal Methods in Verification
Most-Cited Works
- → An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions(2004)142 cited
- → A Trace Semantics for Long-Running Transactions(2005)129 cited
- → Putting consistency back into eventual consistency(2015)119 cited
- → 'Cause I'm strong enough: Reasoning about consistency choices in distributed systems(2016)117 cited
- → A Process Compensation Language(2000)74 cited
- → Comparing Two Approaches to Compensable Flow Composition(2005)60 cited
- → Extending the concept of transaction compensation(2002)