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)

Semantics for a Quantum Programming Language by Operator Algebras
著者:: Kenta Cho
出版事項: (2014-12-01)

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)

Semantics of a Typed Algebraic Lambda-Calculus
著者:: Benoît Valiron
出版事項: (2010-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)

ALGEBRA OF QUOTIENTS WITH BOUNDED EVALUATION FOR SOME OPERATOR ALGEBRAS
著者:: Amir A.Mohammad
出版事項: (2005-09-01)

Specification−oriented Semantics for Communicating Processes
著者:: Olderog, E, 等
出版事項: (1983)

Specification−oriented Semantics for Communicating Processes
著者:: Olderog, E, 等
出版事項: (1986)

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)

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)

A Semantics for Imprecise Exceptions
著者:: Jones, S, 等
出版事項: (1999)