Searching for authors named "Carla Ferreira" – sorted by Relevance.
14 documents found, showing 1 through 10.
Next 10 →
-
An operational semantics for stac, a language for modelling long-running business transactions
- … Michael Butler 1 and Carla Ferreira 2 1 School of Electronics and Computer Science University…
- Cited by 20 (4 self) – Add To MetaCart
-
A Process Calculus Analysis of Compensations
- …A Process Calculus Analysis of Compensations Luís Caires Carla Ferreira Hugo Vieira CITI…
- Add To MetaCart
-
A trace semantics for long-running transactions
- …A trace semantics for long-running transactions Michael Butler 1 , Tony Hoare 2 , and Carla…
- Cited by 21 (3 self) – Add To MetaCart
-
Animation and Model Checking of CSP and B using Prolog Technology
- … Adhianto, Michael Butler, Carla Ferreira, and Leonid Mikhailov Department of Electronics and Computer…
- Cited by 6 (6 self) – Add To MetaCart
-
Using SPIN and STeP to verify business processes specifications
- … Carla Ferreira Stephen Craig Declarative Systems and Software Engineering Research Group Department…
- Cited by 2 (0 self) – Add To MetaCart
-
Comparing two approaches to compensable flow composition
- … , Carla Ferreira 3 , Tony Hoare 4 , Hernán Melgratti 1 , and Ugo Montanari 1 1 Dipartimento di Informatica…
- Cited by 12 (4 self) – Add To MetaCart
-
Using the extensible model checker XTL to verify StAC Business Specifications
- …, Michael Leuschel, Michael Butler, Carla Ferreira Department of Electronics and Computer Science University…
- Cited by 2 (1 self) – Add To MetaCart
-
Extending the concept of transaction compensation
- …Extending the Concept of Transaction Compensation Michael Butler, Carla Ferreira, Peter Henderson…
- Cited by 3 (1 self) – Add To MetaCart
-
Precise Modeling of Compensating Business Transactions and its Application to BPEL
- …, United Kingdom mjb@(email omitted); Carla Ferreira Department of Computer Science, Technical University…
- Cited by 4 (1 self) – Add To MetaCart
-
Concurrent Development of Model and Implementation
- …. Augusto, Carla Ferreira, and Stefan Gruner University of Southampton, Southampton SO17 1BJ, England Phone…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
