Person:264525

Available identifiers

zbMath Open colvin.robert-jMaRDI QIDQ264525

List of research outcomes

Publication	Date of Publication	Type
A fine-grained semantics for arrays and pointers under weak memory models	2023-08-17	Paper
Parallelized sequential composition and hardware weak memory models	2023-05-26	Paper
A wide-spectrum language for verification of programs on weak memory models	2021-05-04	Paper
Linearizability on hardware weak memory models	2020-07-27	Paper
An algebra of synchronous atomic steps	2020-01-03	Paper
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency	2019-05-10	Paper
Designing a semantic model for a wide-spectrum language with concurrency	2017-11-29	Paper
An operational semantics for object-oriented concepts based on the class hierarchy	2016-08-05	Paper
Modelling and analysing neural networks using a hybrid process algebra	2016-03-31	Paper
Balancing expressiveness in formal approaches to concurrency	2015-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q2863833	2013-12-04	Paper
Don't Care Non-determinism in Logic Program Refinement	2013-07-24	Paper
Structural operational semantics through context-dependent behaviour	2011-09-12	Paper
A semantics for behavior trees using CSP with specification commands	2011-07-18	Paper
Refinement of Higher-Order Logic Programs	2011-03-04	Paper
Trace-based derivation of a scalable lock-free stack algorithm	2009-05-27	Paper
CSP with Hierarchical State	2009-02-24	Paper
A general technique for proving lock-freedom	2009-02-19	Paper
Verifying Lock-Freedom Using Well-Founded Orders	2008-09-17	Paper
Calculating modules in contextual logic program refinement	2008-01-21	Paper
Program Development in Computational Logic	2005-12-23	Paper
A refinement calculus for logic programs	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4421869	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4250656	1999-11-02	Paper
https://portal.mardi4nfdi.de/entity/Q4370272	1998-06-01	Paper

Research outcomes over time

This page was built for person: Robert J. Colvin