From Algebra to Operational Semantics

From Algebra to Operational Semantics

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Hoare, C, He, J, Sampaio, A
Μορφή:	Record
Έκδοση:	2015

Παρόμοια τεκμήρια

Algebraic derivation of an operational semantics
ανά: Hoare, C, κ.ά.
Έκδοση: (2000)

From Algebra to Operational Semantics
ανά: He, J, κ.ά.
Έκδοση: (1993)

A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
ανά: Hoare, C
Έκδοση: (2015)

Algebra Unifies Operational Calculi
ανά: van Staden, S, κ.ά.
Έκδοση: (2012)

Algebra and Models
ανά: Hoare, C
Έκδοση: (1993)

Models and Algebra
ανά: Hoare, C
Έκδοση: (1993)

Categorical Semantics for Programming Languages
ανά: He, J, κ.ά.
Έκδοση: (1989)

An Algebra For Games of Chance
ανά: Hoare, C
Έκδοση: (1996)

Algebraic Specification and Proof of Properties of a Mail Service
ανά: Hoare, C, κ.ά.
Έκδοση: (1986)

Algebra of concurrent design
ανά: Hoare, T
Έκδοση: (2012)

Algebra of Logic Programming
ανά: Seres, S, κ.ά.
Έκδοση: (1999)

Algebra of Logic Programming
ανά: Seres, S, κ.ά.
Έκδοση: (1999)

The Semantics of Miranda's Algebraic Types
ανά: Bruce, Kim B., κ.ά.
Έκδοση: (2023)

In praise of algebra
ανά: Hoare, T, κ.ά.
Έκδοση: (2012)

Process Algebra: A Unifying Approach
ανά: Hoare, C
Έκδοση: (2004)

A Model for Programming Language Semantics
ανά: Hoare, C
Έκδοση: (1975)

Unifying Semantics for Concurrent Programming
ανά: Hoare, T
Έκδοση: (2013)

Concurrent Kleene Algebra
ανά: Hoare, C, κ.ά.
Έκδοση: (2009)

A Semantics of Compensations for Long−Running Transactions
ανά: Hoare, C
Έκδοση: (2015)

The Evolving Algebra Semantics of Class and Role Hierarchies
ανά: Gottlob, G, κ.ά.
Έκδοση: (1995)

Remarks on an algebraic semantics for paraconsistent Nelson's logic
ανά: Manuela Busaniche, κ.ά.
Έκδοση: (2011-06-01)

Algebraic Specification and Proof of a Distributed Recovery Algorithm
ανά: Jifeng, H, κ.ά.
Έκδοση: (1987)

Algebras of pseudodifferential operators /
ανά: 314412 Plamenevskii , B. A.
Έκδοση: (1989)

Foundations of Concurrent Kleene Algebra
ανά: Hoare, C, κ.ά.
Έκδοση: (2009)

Specification−oriented Semantics for Communicating Processes
ανά: Olderog, E, κ.ά.
Έκδοση: (1983)

Specification−oriented Semantics for Communicating Processes
ανά: Olderog, E, κ.ά.
Έκδοση: (1986)

ALGEBRA OF QUOTIENTS WITH BOUNDED EVALUATION FOR SOME OPERATOR ALGEBRAS
ανά: Amir A.Mohammad
Έκδοση: (2005-09-01)

Calkin algebras and algebras of operators on Banach spaces /
ανά: 321907 Caradus, S. R., κ.ά.
Έκδοση: (1974)

Characterizations of *-antiderivable mappings on operator algebras
ανά: An Guangyu, κ.ά.
Έκδοση: (2022-06-01)

Fundamentals of algebraic specification 1 : Equations and initial semantics /
ανά: 445928 Ehrig, H., κ.ά.
Έκδοση: (1985)

Initial Algebra Semantics for Cyclic Sharing Tree Structures
ανά: Makoto Hamana
Έκδοση: (2010-09-01)

Jordan operator algebras /
ανά: 319297 Hanche-Olsen, Harald, κ.ά.
Έκδοση: (1984)

Lectures on operator algebras /
Έκδοση: (1972)

Factoring and operations on algebraic fractions /
ανά: Ablon, Leon J.
Έκδοση: (1973)

C*-algebras and operator theory /
ανά: 321216 Murphy, Gerard J.
Έκδοση: (1990)

A Semantics for Imprecise Exceptions
ανά: Jones, S, κ.ά.
Έκδοση: (1999)

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
ανά: Ma, M, κ.ά.
Έκδοση: (2011)

Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.
ανά: Sadrzadeh, M, κ.ά.
Έκδοση: (2011)

On the Structure of Supercyclic Operators on the Operator Algebra
ανά: H. Rezaei
Έκδοση: (2013-06-01)

Logic TK: Algebraic Notions from Tarski’s Consequence Operator
ανά: Hércules A. Feitosa, κ.ά.
Έκδοση: (2010-04-01)