Verification of Fine−grain Concurrent Programs

Verification of Fine−grain Concurrent Programs

Bibliographic Details
Main Author:	Hoare, T
Format:	Journal article
Published:	2008

Similar Items

Fine−Grain Concurrency
by: Hoare, T
Published: (2008)

Fine−grain Concurrency
by: Hoare, T
Published: (2007)

Fine−grain concurrency
by: Hoare, T
Published: (2010)

Angelic semantics of fine-grained concurrency
by: Ghica, D, et al.
Published: (2008)

Unifying Semantics for Concurrent Programming
by: Hoare, T
Published: (2013)

Laws of programming with concurrency (Invited Talk)
by: Hoare, T
Published: (2013)

Masking in Fine-Grained Leakage Models: Construction, Implementation and Verification
by: Gilles Barthe, et al.
Published: (2021-02-01)

Specification and verification of concurrent systems /
by: Rattray, C. (Charles), 1938-
Published: (1990)

Concurrent Aggregates (CA): An Object-Oriented Language for Fine-Grained Message-Passing Machines
by: Chien, Andrew Andai
Published: (2004)

BGCFI: Efficient Verification in Fine-Grained Control-Flow Integrity Based on Bipartite Graph
by: Moon Chan Park, et al.
Published: (2023-01-01)

Verification of message passing concurrent systems
by: D'Osualdo, E
Published: (2015)

Techniques and tools for the verification of concurrent systems
by: Palikareva, H
Published: (2012)

Automatic Verification of Erlang−Style Concurrency
by: D'Osualdo, E, et al.
Published: (2013)

Automatic Verification of Erlang−Style Concurrency
by: D’Osualdo, E, et al.
Published: (2013)

Automatic Verification of Erlang−Style Concurrency
by: D'Osualdo, E, et al.
Published: (2013)

Automatic verification of concurrent stochastic systems
by: Kwiatkowska, M, et al.
Published: (2021)

Automated verification of concurrent stochastic games
by: Kwiatkowska, M, et al.
Published: (2018)

Algebra of concurrent design
by: Hoare, T
Published: (2012)

Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking
by: Wenjie Zhong, et al.
Published: (2023-02-01)

Dynamic Programming meets Fine-grained Complexity
by: Mao, Xiao
Published: (2023)

ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
by: Dan Frumin, et al.
Published: (2021-07-01)

Verification of asynchronous concurrency and the shaped stack constraint
by: Kochems, J
Published: (2014)

Verification of Data Races in Concurrent Interrupt Handlers
by: Guy Martin Tchamgoue, et al.
Published: (2013-11-01)

A Theory of Conjunction and Concurrency
by: Hoare, C
Published: (1990)

A Theory of Conjunction and Concurrency
by: Hoare, C
Published: (1989)

Net Models for Concurrent Object Behaviour
by: Hoare, T
Published: (2012)

Linking Theories of Concurrency
by: He, J, et al.
Published: (2005)

Multi-player equilibria verification for concurrent stochastic games
by: Kwiatkowska, M, et al.
Published: (2020)

Formal Specification and Verification of Self-Adaptive Concurrent Systems
by: Muhammad Ilyas Fakhir, et al.
Published: (2018-01-01)

Fine-grained address space layout randomization on program load
by: A. R. Nurmukhametov, et al.
Published: (2018-10-01)

Fine Grained Robotics
by: Flynn, Anita M., et al.
Published: (2008)

Fine-grained cryptography
by: Vasudevan, Prashant Nalini
Published: (2019)

Fine-Grained Cryptography
by: Degwekar, Akshay Dhananjai, et al.
Published: (2017)

Concurrent programming /
by: 361244 Burns, Alan, et al.
Published: (1993)

Concurrent programming /
by: Norain Gehani, et al.
Published: (1988)

Concurrent Programming
by: Bryant, Randal E., et al.
Published: (2023)

A tool for the automated verification of Nash equilibria in concurrent games
by: Toumi, A, et al.
Published: (2015)

Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility
by: Lorch, Jacob, et al.
Published: (2022)

Concurrent Kleene Algebra
by: Hoare, C, et al.
Published: (2009)

Foundations of Concurrent Kleene Algebra
by: Hoare, C, et al.
Published: (2009)