Modelling and analysing neural networks using a hybrid process algebra von Colvin, Robert J.

Volltext

Linearizability on hardware weak memory models von Smith, Graeme, Winter, Kirsten, Colvin, Robert J.

Volltext

A Fine-Grained Semantics for Arrays and Pointers Under Weak Memory Models von Colvin, Robert J.

Volltext

A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency von Hayes, Ian J., Meinicke, Larissa A., Winter, Kirsten, Colvin, Robert J.

Volltext

Designing a semantic model for a wide-spectrum language with concurrency von Colvin, Robert J., Hayes, Ian J., Meinicke, Larissa A.

Volltext

Balancing expressiveness in formal approaches to concurrency von Jones, Cliff B., Hayes, Ian J., Colvin, Robert J.

Volltext

An operational semantics for object-oriented concepts based on the class hierarchy von Colvin, Robert J.

Volltext

Correctness of Concurrent Objects under Weak Memory Models von Smith, Graeme, Winter, Kirsten, Colvin, Robert J.

Volltext

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings von Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia

Volltext

Parallelized Sequential Composition and Hardware Weak Memory Models von Colvin, Robert J.

Volltext

A Wide-Spectrum Language for Verification of Programs on Weak Memory Models von Colvin, Robert J., Smith, Graeme

Volltext

A semantics for Behavior Trees using CSP with specification commands von Colvin, Robert J., Hayes, Ian J.

Volltext

An Abstract Semantics of Speculative Execution for Reasoning About Security Vulnerabilities von Colvin, Robert J., Winter, Kirsten

Volltext

Separation of concerning things: a simpler basis for defining and programming with the C/C++ memory model (extended version) von Colvin, Robert J

Volltext bestellen

Effects of thinning in a cherrybark oak plantation von Pelkki, M.H, Colvin, R.J

Volltext

Parallelized sequential composition, pipelines, and hardware weak memory models von Colvin, Robert J

Volltext bestellen

An Algebra of Synchronous Atomic Steps von Hayes, Ian J., Colvin, Robert J., Meinicke, Larissa A., Winter, Kirsten, Velykis, Andrius

Volltext

Separation of Concerning Things: A Simpler Basis for Defining and Programming with the C/C++ Memory Model von Colvin, Robert J.

Volltext

An abstract semantics of speculative execution for reasoning about security vulnerabilities von Colvin, Robert J, Winter, Kirsten

Volltext bestellen

Separation of concerning things: a simpler basis for defining and programming with the C/C++ memory model (extended version) von Colvin, Robert J

Volltext