Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ana Cavalcanti

Compositional and Local Livelock Analysis for CSP

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2018English

Data Flow Coverage for Circus-Based Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Conformance Relations for Distributed Testing Based on CSP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Contracts in CML

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

: Specification and Refinement of Safety-Critical Java Programs

Science of Computer Programming
Software
2019English

A Tutorial Introduction to Designs in Unifying Theories of Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

An Algebraic Approach to the Design of Compilers for Object-Oriented Languages

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2009English

Angelic Nondeterminism in the Unifying Theories of Programming

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2006English

A Process Algebraic Framework for Specification and Validation of Real-Time Systems

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy