From Algebra to Operational Semantics

From Algebra to Operational Semantics

Diğer sürümleri göster (1)

Detaylı Bibliyografya
Asıl Yazarlar:	Hoare, C, He, J, Sampaio, A
Materyal Türü:	Record
Baskı/Yayın Bilgisi:	2015

Benzer Materyaller

Algebraic derivation of an operational semantics
Yazar:: Hoare, C, ve diğerleri
Baskı/Yayın Bilgisi: (2000)

From Algebra to Operational Semantics
Yazar:: He, J, ve diğerleri
Baskı/Yayın Bilgisi: (1993)

A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2015)

Algebra Unifies Operational Calculi
Yazar:: van Staden, S, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Semantics for a Quantum Programming Language by Operator Algebras
Yazar:: Kenta Cho
Baskı/Yayın Bilgisi: (2014-12-01)

Algebra and Models
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1993)

Models and Algebra
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1993)

Categorical Semantics for Programming Languages
Yazar:: He, J, ve diğerleri
Baskı/Yayın Bilgisi: (1989)

An Algebra For Games of Chance
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1996)

Algebraic Specification and Proof of Properties of a Mail Service
Yazar:: Hoare, C, ve diğerleri
Baskı/Yayın Bilgisi: (1986)

Algebra of concurrent design
Yazar:: Hoare, T
Baskı/Yayın Bilgisi: (2012)

Algebra of Logic Programming
Yazar:: Seres, S, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

Algebra of Logic Programming
Yazar:: Seres, S, ve diğerleri
Baskı/Yayın Bilgisi: (1999)

The Semantics of Miranda's Algebraic Types
Yazar:: Bruce, Kim B., ve diğerleri
Baskı/Yayın Bilgisi: (2023)

In praise of algebra
Yazar:: Hoare, T, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Process Algebra: A Unifying Approach
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2004)

A Model for Programming Language Semantics
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (1975)

Unifying Semantics for Concurrent Programming
Yazar:: Hoare, T
Baskı/Yayın Bilgisi: (2013)

Concurrent Kleene Algebra
Yazar:: Hoare, C, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

A Semantics of Compensations for Long−Running Transactions
Yazar:: Hoare, C
Baskı/Yayın Bilgisi: (2015)

The Evolving Algebra Semantics of Class and Role Hierarchies
Yazar:: Gottlob, G, ve diğerleri
Baskı/Yayın Bilgisi: (1995)

Remarks on an algebraic semantics for paraconsistent Nelson's logic
Yazar:: Manuela Busaniche, ve diğerleri
Baskı/Yayın Bilgisi: (2011-06-01)

Semantics of a Typed Algebraic Lambda-Calculus
Yazar:: Benoît Valiron
Baskı/Yayın Bilgisi: (2010-06-01)

Algebraic Specification and Proof of a Distributed Recovery Algorithm
Yazar:: Jifeng, H, ve diğerleri
Baskı/Yayın Bilgisi: (1987)

Algebras of pseudodifferential operators /
Yazar:: 314412 Plamenevskii , B. A.
Baskı/Yayın Bilgisi: (1989)

Foundations of Concurrent Kleene Algebra
Yazar:: Hoare, C, ve diğerleri
Baskı/Yayın Bilgisi: (2009)

ALGEBRA OF QUOTIENTS WITH BOUNDED EVALUATION FOR SOME OPERATOR ALGEBRAS
Yazar:: Amir A.Mohammad
Baskı/Yayın Bilgisi: (2005-09-01)

Specification−oriented Semantics for Communicating Processes
Yazar:: Olderog, E, ve diğerleri
Baskı/Yayın Bilgisi: (1983)

Specification−oriented Semantics for Communicating Processes
Yazar:: Olderog, E, ve diğerleri
Baskı/Yayın Bilgisi: (1986)

Calkin algebras and algebras of operators on Banach spaces /
Yazar:: 321907 Caradus, S. R., ve diğerleri
Baskı/Yayın Bilgisi: (1974)

Characterizations of *-antiderivable mappings on operator algebras
Yazar:: An Guangyu, ve diğerleri
Baskı/Yayın Bilgisi: (2022-06-01)

Fundamentals of algebraic specification 1 : Equations and initial semantics /
Yazar:: 445928 Ehrig, H., ve diğerleri
Baskı/Yayın Bilgisi: (1985)

Initial Algebra Semantics for Cyclic Sharing Tree Structures
Yazar:: Makoto Hamana
Baskı/Yayın Bilgisi: (2010-09-01)

Jordan operator algebras /
Yazar:: 319297 Hanche-Olsen, Harald, ve diğerleri
Baskı/Yayın Bilgisi: (1984)

Lectures on operator algebras /
Baskı/Yayın Bilgisi: (1972)

Factoring and operations on algebraic fractions /
Yazar:: Ablon, Leon J.
Baskı/Yayın Bilgisi: (1973)

C*-algebras and operator theory /
Yazar:: 321216 Murphy, Gerard J.
Baskı/Yayın Bilgisi: (1990)

Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic
Yazar:: Ma, M, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.
Yazar:: Sadrzadeh, M, ve diğerleri
Baskı/Yayın Bilgisi: (2011)

A Semantics for Imprecise Exceptions
Yazar:: Jones, S, ve diğerleri
Baskı/Yayın Bilgisi: (1999)