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 Logic Programming
حسب: Seres, S, وآخرون
منشور في: (1999)

Algebra of Logic Programming
حسب: Seres, S, وآخرون
منشور في: (1999)

Algebra of concurrent design
حسب: Hoare, T
منشور في: (2012)

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)

A Semantics of Compensations for Long−Running Transactions
حسب: Hoare, C
منشور في: (2015)

Concurrent Kleene Algebra
حسب: Hoare, C, وآخرون
منشور في: (2009)

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)

Factoring and operations on algebraic fractions /
حسب: Ablon, Leon J.
منشور في: (1973)

Jordan operator algebras /
حسب: 319297 Hanche-Olsen, Harald, وآخرون
منشور في: (1984)

Lectures on operator algebras /
منشور في: (1972)

A Semantics for Imprecise Exceptions
حسب: Jones, S, وآخرون
منشور في: (1999)

C*-algebras and operator theory /
حسب: 321216 Murphy, Gerard J.
منشور في: (1990)

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)

Consistent and Complementary Formal Theories of the Semantics of Programming Languages
حسب: Hoare, C, وآخرون
منشور في: (1974)