Denotational Semantics for occam

von Roscoe, A. W.
Veröffentlicht 1984

The theory and practice of concurrency

von Roscoe, A. W.
Veröffentlicht 1998

A mathematical theory of communicating processes

von Roscoe, A. W.
Veröffentlicht 1982

Maintaining consistency in distributed databases

von Roscoe, A. W.
Veröffentlicht 1990

The theory and practice of concurrency

von Roscoe, A. W.
Veröffentlicht 2000

Neural Network Security: Hiding CNN Parameters with Guided Grad-CAM

von Guiga, Linda
Veröffentlicht in ICISSP ICISSP 2020 (2020)

The pursuit of deadlock freedom

von Roscoe, A. W.
Veröffentlicht 1986

The timed failures-stability model for CSP

von Reed, G. M.
Veröffentlicht 1996

Deadlock analysis in networks of communicating processes

von Brookes, S. D.
Veröffentlicht 1989

The laws of OCCAM programming

von Roscoe, A. W.
Veröffentlicht 1986

A classical mind : essays in honour of C. A. R. Hoare

Veröffentlicht 1994

˜Aœ classical mind : essays in honour of C. A. R. Hoare

Veröffentlicht 1994

Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts

von Antonino, Pedro
Veröffentlicht in International Conference on Software Engineering and Formal Methods (20. : 2022 : Berlin) Software engineering and formal methods (2022)

Partially-Fair Computation from Timed-Release Encryption and Oblivious Transfer

von Couteau, Geoffroy
Veröffentlicht in ACISP (26. : 2021 : Online) Information Security and Privacy (2021)

Denotational semantics for occam 2

von Goldsmith, M. H.
Veröffentlicht 1993

A theory of communicating sequential processes

von Hoare, Charles A. R.
Veröffentlicht 1981