Jim Davies

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Factorizing proofs in timed CSP Lecture Notes in Computer Science	2023-04-12	Paper
Using CSP to verify sequential consistency	2020-12-03	Paper
Domain-specific semantics and data refinement of object models Electronic Notes in Theoretical Computer Science	2014-01-24	Paper
From predicates to programs: the semantics of a method language Electronic Notes in Theoretical Computer Science	2014-01-17	Paper
A comparison of refinement orderings and their associated simulation rules	2013-08-19	Paper
Concurrency and refinement in the unified modeling language	2013-08-19	Paper
Specification and Proof in Real Time CSP	2012-02-22	Paper
A singleton failures semantics for communicating sequential processes Formal Aspects of Computing	2006-10-25	Paper
Concurrency and refinement in the unified modeling language Formal Aspects of Computing	2005-02-08	Paper
scientific article; zbMATH DE number 2086954 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2079810 (Why is no real title available?)	2004-07-30	Paper
scientific article; zbMATH DE number 1569125 (Why is no real title available?)	2001-02-22	Paper
scientific article; zbMATH DE number 1487738 (Why is no real title available?)	2000-08-10	Paper
scientific article; zbMATH DE number 1304002 (Why is no real title available?)	1999-06-17	Paper
scientific article; zbMATH DE number 1104386 (Why is no real title available?)	1998-04-20	Paper
A brief history of Timed CSP Theoretical Computer Science	1997-02-28	Paper
scientific article; zbMATH DE number 605917 (Why is no real title available?)	1994-07-13	Paper
Recursion induction for real-time processes Formal Aspects of Computing	1994-06-29	Paper
Specification and Proof in Real Time CSP	1994-02-17	Paper

Research outcomes over time

This page was built for person: Jim Davies