Facet browsing currently unavailable
Page 5 of 1117 results
Sort by: relevance publication year
Data Abstraction Techniques in the Validation of CSP-OZ Specifications JOURNAL ARTICLE published November 2000 in Formal Aspects of Computing |
Interfaces for Refining Recursion and Procedures JOURNAL ARTICLE published December 2000 in Formal Aspects of Computing |
Abstraction and Testing in CSP JOURNAL ARTICLE published November 2000 in Formal Aspects of Computing |
Program verification with interacting analysis plugins JOURNAL ARTICLE published August 2007 in Formal Aspects of Computing |
Preface JOURNAL ARTICLE published January 2013 in Formal Aspects of Computing |
Relating trace refinement and linearizability JOURNAL ARTICLE published November 2017 in Formal Aspects of Computing Research funded by Australian Research Council (DP160102457,DP130102901) |
Correct-by-construction model driven engineering composition operators JOURNAL ARTICLE published May 2016 in Formal Aspects of Computing |
Special section of Tests and Proofs 2016 JOURNAL ARTICLE published November 2018 in Formal Aspects of Computing |
Capture-avoiding substitution as a nominal algebra JOURNAL ARTICLE published July 2008 in Formal Aspects of Computing |
Gerard O’Regan: Concise Guide to FormalMethods: Theory, Fundamentals and IndustryApplications JOURNAL ARTICLE published February 2020 in Formal Aspects of Computing |
Communicating processes with value-passing and assignments JOURNAL ARTICLE published September 1993 in Formal Aspects of Computing |
Synthesizing bounded-time 2-phase fault recovery JOURNAL ARTICLE published January 2015 in Formal Aspects of Computing |
Architectural refinement and notions of intransitive noninterference JOURNAL ARTICLE published July 2012 in Formal Aspects of Computing |
Refinement concepts formalised in higher order logic JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing |
A single complete rule for data refinement JOURNAL ARTICLE published July 1993 in Formal Aspects of Computing |
Deterministic concurrent strategies JOURNAL ARTICLE published July 2012 in Formal Aspects of Computing |
Balancing expressiveness in formal approaches to concurrency JOURNAL ARTICLE published May 2015 in Formal Aspects of Computing |
Investigating the Integration of two Formal Methods JOURNAL ARTICLE published May 1998 in Formal Aspects of Computing |
Graph Transformation Units with Interleaving Semantics JOURNAL ARTICLE published December 1999 in Formal Aspects of Computing |
Predicate Transformers for Recursive Procedures with Local Variables JOURNAL ARTICLE published December 1999 in Formal Aspects of Computing |