Jim Davies

From MaRDI portal
Revision as of 15:38, 6 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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
https://portal.mardi4nfdi.de/entity/Q28448272013-08-19Paper
https://portal.mardi4nfdi.de/entity/Q28448312013-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