Algebraic derivation of an operational semantics

Algebraic derivation of an operational semantics

Bibliographic Details
Main Authors:	Hoare, C, He, J, Sampaio, A
Format:	Conference item
Published:	MIT Press 2000

Similar Items

From Algebra to Operational Semantics
by: Hoare, C, et al.
Published: (2015)

From Algebra to Operational Semantics
by: He, J, et al.
Published: (1993)

A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
by: Hoare, C
Published: (2015)

Algebra Unifies Operational Calculi
by: van Staden, S, et al.
Published: (2012)

Models and Algebra
by: Hoare, C
Published: (1993)

Algebra and Models
by: Hoare, C
Published: (1993)

LOCAL OPERATORS AND DERIVATIONS ON C-STAR-ALGEBRAS
by: Batty, C
Published: (1985)

Categorical Semantics for Programming Languages
by: He, J, et al.
Published: (1989)

An Algebra For Games of Chance
by: Hoare, C
Published: (1996)

Algebraic Specification and Proof of Properties of a Mail Service
by: Hoare, C, et al.
Published: (1986)

An Identity Related to Derivations of Standard Operator Algebras and Semisimple H*-Algebra¹
by: Irena Kosi-Ulbl, et al.
Published: (2010-01-01)

An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems /
by: 432725 Bergmann, Merrie
Published: (2008)

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

Algebra of Logic Programming
by: Seres, S, et al.
Published: (1999)

Algebra of Logic Programming
by: Seres, S, et al.
Published: (1999)

The Semantics of Miranda's Algebraic Types
by: Bruce, Kim B., et al.
Published: (2023)

In praise of algebra
by: Hoare, T, et al.
Published: (2012)

Process Algebra: A Unifying Approach
by: Hoare, C
Published: (2004)

A Model for Programming Language Semantics
by: Hoare, C
Published: (1975)

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

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

Kinematic Hopf algebra for amplitudes from higher-derivative operators
by: Gang Chen, et al.
Published: (2024-02-01)

A Semantics of Compensations for Long−Running Transactions
by: Hoare, C
Published: (2015)

The Evolving Algebra Semantics of Class and Role Hierarchies
by: Gottlob, G, et al.
Published: (1995)

Remarks on an algebraic semantics for paraconsistent Nelson's logic
by: Manuela Busaniche, et al.
Published: (2011-06-01)

Algebras of pseudodifferential operators /
by: 314412 Plamenevskii , B. A.
Published: (1989)

Algebraic Specification and Proof of a Distributed Recovery Algorithm
by: Jifeng, H, et al.
Published: (1987)

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

ALGEBRA OF QUOTIENTS WITH BOUNDED EVALUATION FOR SOME OPERATOR ALGEBRAS
by: Amir A.Mohammad
Published: (2005-09-01)

Specification−oriented Semantics for Communicating Processes
by: Olderog, E, et al.
Published: (1986)

Specification−oriented Semantics for Communicating Processes
by: Olderog, E, et al.
Published: (1983)

Calkin algebras and algebras of operators on Banach spaces /
by: 321907 Caradus, S. R., et al.
Published: (1974)

On the algebra of derivations of some nilpotent Leibniz algebras
by: L.A. Kurdachenko, et al.
Published: (2023-06-01)

Characterizations of *-antiderivable mappings on operator algebras
by: An Guangyu, et al.
Published: (2022-06-01)

Fundamentals of algebraic specification 1 : Equations and initial semantics /
by: 445928 Ehrig, H., et al.
Published: (1985)

Initial Algebra Semantics for Cyclic Sharing Tree Structures
by: Makoto Hamana
Published: (2010-09-01)

Lectures on operator algebras /
Published: (1972)

Jordan operator algebras /
by: 319297 Hanche-Olsen, Harald, et al.
Published: (1984)

Factoring and operations on algebraic fractions /
by: Ablon, Leon J.
Published: (1973)

C*-algebras and operator theory /
by: 321216 Murphy, Gerard J.
Published: (1990)