Robert J. Colvin

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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Robert J. Colvin