On fixpoint logics and equivalences for processes with restricted nondeterminism

On fixpoint logics and equivalences for processes with restricted nondeterminism

Hiển thị phiên bản (1) khác

Chi tiết về thư mục
Tác giả chính:	Gutierrez, J
Định dạng:	Journal article
Được phát hành:	2015

Những quyển sách tương tự

On fixpoint logics and equivalences for processes with restricted nondeterminism
Bằng: Gutierrez, J
Được phát hành: (2015)

Nondeterminism in Logics of Programs
Bằng: Harel, David, et al.
Được phát hành: (2023)

On independence-friendly fixpoint logics
Bằng: J. C. Bradfield
Được phát hành: (2004-10-01)

The Complexity of Independence−Friendly Fixpoint Logic
Bằng: Bradfield, J, et al.
Được phát hành: (2007)

The Complexity of Independence−Friendly Fixpoint Logic
Bằng: Bradfield, J, et al.
Được phát hành: (2005)

Characterizing definability in decidable fixpoint logics
Bằng: Benedikt, M, et al.
Được phát hành: (2017)

Fixpointed Idempotent Uninorm (Based) Logics
Bằng: Eunsuk Yang
Được phát hành: (2019-01-01)

Model-checking games for fixpoint logics with partial order models
Bằng: Gutierrez, J, et al.
Được phát hành: (2010)

Model-checking games for fixpoint logics with partial order models
Bằng: Gutierrez, J, et al.
Được phát hành: (2009)

Model-checking games for fixpoint logics with partial order models
Bằng: Gutierrez, J, et al.
Được phát hành: (2011)

Definability and interpolation within decidable fixpoint logics
Bằng: Benedikt, M, et al.
Được phát hành: (2019)

A Probabilistic Higher-order Fixpoint Logic
Bằng: Yo Mitani, et al.
Được phát hành: (2021-12-01)

Definability and Interpolation within Decidable Fixpoint Logics
Bằng: Michael Benedikt, et al.
Được phát hành: (2019-09-01)

A step up in expressiveness of decidable fixpoint logics
Bằng: Boom, M, et al.
Được phát hành: (2016)

The Complexity of Model Checking Higher-Order Fixpoint Logic
Bằng: Roland Axelsson, et al.
Được phát hành: (2007-06-01)

Alternation Is Strict For Higher-Order Modal Fixpoint Logic
Bằng: Florian Bruse
Được phát hành: (2016-09-01)

Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
Bằng: Konstantinos Mamouras
Được phát hành: (2017-04-01)

Fixpoint Characterizations for Many−Valued Disjunctive Logic Programs with Probabilistic Semantics
Bằng: Lukasiewicz, T
Được phát hành: (2001)

A mathematical game semantics of concurrency and nondeterminism
Bằng: Gutierrez, J
Được phát hành: (2015)

Unbounded nondeterminism in CSP
Bằng: Roscoe, A, et al.
Được phát hành: (1989)

Unbounded nondeterminism in CSP
Bằng: Roscoe, A
Được phát hành: (1988)

Fixpoint Theory -- Upside Down
Bằng: Paolo Baldan, et al.
Được phát hành: (2023-06-01)

Operations on Fixpoint Equation Systems
Bằng: Thomas Neele, et al.
Được phát hành: (2024-07-01)

Omnisemantics: Smoother Handling of Nondeterminism
Bằng: Chargu?raud, Arthur, et al.
Được phát hành: (2023)

Semantics of Nondeterminism‚ Concurrency and Communication
Bằng: Francez, N, et al.
Được phát hành: (1979)

Classifying unbounded nondeterminism in CSP
Bằng: Barrett, G, et al.
Được phát hành: (1991)

Mixed powerdomains for probability and nondeterminism
Bằng: Klaus Keimel, et al.
Được phát hành: (2017-01-01)

Teaching Nondeterminism Through Programming
Bằng: Giora ALEXANDRON, et al.
Được phát hành: (2016-04-01)

Can Nondeterminism Help Complementation?
Bằng: Yang Cai, et al.
Được phát hành: (2012-10-01)

Refinement for Probabilistic Systems with Nondeterminism
Bằng: David Streader, et al.
Được phát hành: (2011-06-01)

Probability and nondeterminism in compositional game theory
Bằng: Bolt, J
Được phát hành: (2021)

The Fixpoint-Iteration Algorithm for Parity Games
Bằng: Florian Bruse, et al.
Được phát hành: (2014-08-01)

Multiagent Compromises‚ Joint Fixpoints‚ and Stable Models
Bằng: Buccafurri, F, et al.
Được phát hành: (2002)

Arrow's Theorem Through a Fixpoint Argument
Bằng: Frank M. V. Feys, et al.
Được phát hành: (2019-07-01)

Simple Fixpoint Iteration To Solve Parity Games
Bằng: Tom van Dijk, et al.
Được phát hành: (2019-09-01)

The Copycat Project: An Experiment in Nondeterminism and Creative Analogies
Bằng: Hofstadter, Douglas
Được phát hành: (2004)

Verifying Confidentiality Under Nondeterminism for Storage Systems
Bằng: Ileri, Atalay Mert
Được phát hành: (2023)

Interaction and Depth against Nondeterminism in Proof Search
Bằng: Ozan Kahramanogullari
Được phát hành: (2014-05-01)

Step-Indexed Relational Reasoning for Countable Nondeterminism
Bằng: Lars Birkedal, et al.
Được phát hành: (2013-10-01)

The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
Bằng: Filippo Bonchi, et al.
Được phát hành: (2022-06-01)