Jim Davies

From MaRDI portal
Person:674190

Available identifiers

zbMath Open davies.jimMaRDI QIDQ674190

List of research outcomes





PublicationDate of PublicationType
Factorizing proofs in timed CSP2023-04-12Paper
https://portal.mardi4nfdi.de/entity/Q51378802020-12-03Paper
Domain-specific semantics and data refinement of object models2014-01-24Paper
From predicates to programs: the semantics of a method language2014-01-17Paper
A comparison of refinement orderings and their associated simulation rules2013-08-19Paper
Concurrency and refinement in the unified modeling language2013-08-19Paper
Specification and Proof in Real Time CSP2012-02-22Paper
A singleton failures semantics for communicating sequential processes2006-10-25Paper
Concurrency and refinement in the unified modeling language2005-02-08Paper
https://portal.mardi4nfdi.de/entity/Q47375622004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44719122004-07-30Paper
https://portal.mardi4nfdi.de/entity/Q47626512001-02-22Paper
https://portal.mardi4nfdi.de/entity/Q44942502000-08-10Paper
https://portal.mardi4nfdi.de/entity/Q42506721999-06-17Paper
https://portal.mardi4nfdi.de/entity/Q43702671998-04-20Paper
A brief history of Timed CSP1997-02-28Paper
https://portal.mardi4nfdi.de/entity/Q43011671994-07-13Paper
Recursion induction for real-time processes1994-06-29Paper
Specification and Proof in Real Time CSP1994-02-17Paper

Research outcomes over time

This page was built for person: Jim Davies

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:674190&oldid=7208787"
Powered by MediaWiki