Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by M.V.M. Oliveira
Compositional and Local Livelock Analysis for CSP
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Related publications
Compositional Analysis for Clausal Exceptives
Semantics and Linguistic Theory
Abstraction Techniques for Compositional State-Based Scheduling Analysis
Compositional Analysis of Authentication Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Compositional Analysis of Surface and Interface. Depth Profiling Analysis and XPS.
Nihon Kessho Gakkaishi
Combining CSP and B for Specification and Property Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reliability Analysis of CSP Specifications Using Petri Nets and Markov Processes
Graph Expansion, Tseitin Formulas and Resolution Proofs for CSP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Compositional Analysis of Pakistani Green and Red Cabbage
Pakistan Journal of Agricultural Sciences
Plant Science
Agronomy
Soil Science
Crop Science
Food Science
Assumptions and Guarantees for Compositional Noninterference
