Carla Maria Gonçalves Ferreira


AuthID: R-000-307

Confirmed Publications: 62



51
TITLE: A trace semantics for long-running transactions
AUTHORS: Butler, M; Hoare, T; Ferreira, C ;
PUBLISHED: 2005, SOURCE: Symposium on 25 Years of Communicating Sequential Processes in COMMUNICATING SEQUENTIAL PROCESSES: THE FIRST 25 YEARS, VOLUME: 3525
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
52
TITLE: Comparing two approaches to compensable flow composition
AUTHORS: Bruni, R; Butler, M; Ferreira, C ; Hoare, T; Melgratti, H; Montanari, U;
PUBLISHED: 2005, SOURCE: 16th International Conference on Concurrency Theory in CONCUR 2005 - CONCURRENCY THEORY, PROCEEDINGS, VOLUME: 3653
INDEXED IN: Scopus WOS CrossRef: 40
IN MY: ORCID | ResearcherID
53
TITLE: Precise modelling of compensating business transactions and its application to BPEL
AUTHORS: Butler, M; Ferreira, C ; Ng, MY;
PUBLISHED: 2005, SOURCE: Workshop on Atomicity in System Design and Execution in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 11, ISSUE: 5
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
54
TITLE: An operational semantics for StAC, a language for modelling long-running business transactions
AUTHORS: Butler, M; Ferreira, C ;
PUBLISHED: 2004, SOURCE: 6th International Conference on Coordination Models and Languages (COORDINATION 2004) in COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, VOLUME: 2949
INDEXED IN: Scopus WOS CrossRef: 59
IN MY: ORCID | ResearcherID
55
TITLE: Model-based approaches for validating business critical systems
AUTHORS: Augusto, J; Howard, Y; Gravell, A; Ferreira, C ; Gruner, S; Leuschel, M;
PUBLISHED: 2004, SOURCE: 11th Annual International Workshop on Software Technology and Engineering Practice in ELEVENTH ANNUAL INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGY AND ENGINEERING PRACTICE, PROCEEDINGS
INDEXED IN: WOS
IN MY: ResearcherID
56
TITLE: Model-based approaches for validating business critical systems
AUTHORS: Augusto J.; Howard Y.; Gravell A.; Ferreira C. ; Gruner S.; Leuschel M.;
PUBLISHED: 2004, SOURCE: Proceedings - 11th Annual International Workshop on Software Technology and Engineering Practice, STEP 2003
INDEXED IN: Scopus CrossRef
IN MY: ORCID
57
TITLE: The benefits of rapid modelling for E-business system development
AUTHORS: Augusto, JC; Ferreira, C ; Gravell, AM; Leuschel, MA; Ng, KMY;
PUBLISHED: 2003, SOURCE: 22nd International Conference on Conceptual Modeling (ER 2003) in CONCEPTUAL MODELING FOR NOVEL APPLICATION DOMAINS, PROCEEDINGS, VOLUME: 2814
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID
58
TITLE: Using B refinement to analyse compensating business processes
AUTHORS: Ferreira, C ; Butler, M;
PUBLISHED: 2003, SOURCE: 3rd International Conference on B and Z Users in ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, VOLUME: 2651
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID
59
TITLE: Using SPIN and STeP to verify business processes specifications
AUTHORS: Augusto, JC; Butler, M; Ferreira, C ; Craig, SJ;
PUBLISHED: 2003, SOURCE: 5th International Andrei Ershov Memorial Conference on Perspectives of System Informatics in PERSPECTIVES OF SYSTEM INFORMATICS, VOLUME: 2890
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID
60
TITLE: Extending the concept of transaction compensation
AUTHORS: Chessell, M; Griffin, C; Vines, D; Butler, M; Ferreira, C ; Henderson, P;
PUBLISHED: 2002, SOURCE: IBM SYSTEMS JOURNAL, VOLUME: 41, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef: 29
IN MY: ORCID
Page 6 of 7. Total results: 62.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service