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)