Reasoning about concurrent systems: a functional approach

Reasoning about concurrent systems: a functional approach

Bibliographic Details
Main Author:	Abramsky, S
Format:	Conference item
Published:	Academic Press 1984

Similar Items

Reasoning about equilibria in game-like concurrent systems
by: Gutierrez, J, et al.
Published: (2016)

Reasoning about equilibria in game-like concurrent systems
by: Gutierrez, J, et al.
Published: (2014)

Concurrent Interaction Games
by: Abramsky, S
Published: (2000)

Robin Milner's Work on Concurrency
by: Abramsky, S
Published: (2010)

Sequentiality vs. concurrency in games and logic
by: Abramsky, S
Published: (2003)

Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System
by: June Andronick, et al.
Published: (2015-11-01)

Concurrent Games and Full Completeness
by: Abramsky, S, et al.
Published: (1999)

What are the fundamental structures of concurrency? We still don't know!
by: Abramsky, S
Published: (2005)

What are the fundamental structures of concurrency?: We still don't know!
by: Abramsky, S
Published: (2006)

What are the fundamental structures of concurrency? We still don't know!
by: Abramsky, S
Published: (2006)

Specification Structures and Propositions−as−Types for Concurrency
by: Abramsky, S, et al.
Published: (1996)

Interaction Categories and the Foundations of Typed Concurrent Programming
by: Abramsky, S, et al.
Published: (1996)

Verifying a concurrent, crash-safe file system with sequential reasoning
by: Chajed, Tej
Published: (2022)

Towards Meta-Reasoning in the Concurrent Logical Framework CLF
by: Iliano Cervesato, et al.
Published: (2013-07-01)

An architectural approach for reasoning about trust properties
by: Namiluko, C
Published: (2012)

Qualitative reasoning about physical systems /
by: Babrow, Daniel G.
Published: (1984)

Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency
by: Adrian Francalanza, et al.
Published: (2014-06-01)

Ruling reasons: a defense of constructivism about reasons and objectivism about welfare
by: Fan, Z
Published: (2021)

Reasoning about Data Repetitions with Counter Systems
by: Stephane Demri, et al.
Published: (2016-08-01)

Reasoning About Bounds in Weighted Transition Systems
by: Mikkel Hansen, et al.
Published: (2018-11-01)

Reasoning about Codata
by: Hinze, R
Published: (2010)

Reasoning about codata
by: Hinze, R
Published: (2010)

Reasoning about uncertainty /
by: Halpern, Joseph Y., 1953-
Published: (2005)

A Relational Approach to Strictness Analysis for Higher−Order Polymorphic Functions
by: Abramsky, S, et al.
Published: (1991)

Abella: A System for Reasoning about Relational Specifications
by: David Baelde, et al.
Published: (2014-12-01)

Reasoning about cognitive trust in stochastic multiagent systems
by: Kwiatkowska, M, et al.
Published: (2017)

Reasoning about cognitive trust in stochastic multiagent systems
by: Huang, X, et al.
Published: (2019)

About the Generalized Reasoning Methods and their Use in Semiotic Systems
by: Mihaela I. MUNTEAN, et al.
Published: (2006-01-01)

Reasoning about coalitional games.
by: Ågotnes, T, et al.
Published: (2009)

Reasoning About the Transfer of Control
by: Hoek, W, et al.
Published: (2014)

Reasoning about causality in games
by: Hammond, L, et al.
Published: (2023)

Reasoning about theoretical entities /
by: 198806 Forster, Thomas
Published: (2003)

Reasoning about Preference Models
by: Wellman, Michael Paul
Published: (2023)

Reasoning about Relaxed Programs
by: Carbin, Michael, et al.
Published: (2011)

Representations for Reasoning About Change
by: Simmons, Reid G., et al.
Published: (2004)

Reasoning about Graph Programs
by: Detlef Plump
Published: (2016-09-01)

Reasoning about Social Phenomena
by: Tomasz Jarmużek, et al.
Published: (2021-06-01)

A logic for reasoning about ambiguity
by: Halpern, J, et al.
Published: (2014)

Specification and analysis of concurrent systems : the COSY approach /
by: 193410 Janicki, Ryszard, et al.
Published: (1992)

Preschool Children’s Reasoning about Sound from an Inferential-Representational Approach
by: Leticia Gallegos-Cázares, et al.
Published: (2021-04-01)