The Laws of Programming Unify Process Calculi

The Laws of Programming Unify Process Calculi

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Hoare, T, van Staden, S
বিন্যাস:	Conference item
প্রকাশিত:	Springer 2012

অনুরূপ উপাদানগুলি

Algebra Unifies Operational Calculi
অনুযায়ী: van Staden, S, অন্যান্য
প্রকাশিত: (2012)

Normal Forms for Synchronous and Asynchronous Process Calculi
অনুযায়ী: Hoare, T, অন্যান্য
প্রকাশিত: (2000)

Program design calculi /
অনুযায়ী: Broy, Manfred
প্রকাশিত: (1993)

On the Semantics of Refinement Calculi
অনুযায়ী: Yang, H, অন্যান্য
প্রকাশিত: (2015)

Unified Theories of Programming
অনুযায়ী: Hoare, C
প্রকাশিত: (2015)

Non-classical propositional calculi
অনুযায়ী: McCall, S, অন্যান্য
প্রকাশিত: (1964)

Graphical calculi and their conjecture synthesis
অনুযায়ী: Miller-Bakewell, H
প্রকাশিত: (2020)

Completeness of the ZW and ZX calculi
অনুযায়ী: Ng, K
প্রকাশিত: (2018)

Heuristic principles and logical calculi /
অনুযায়ী: 323486 Serebryannikov, Oleg Fedorovich
প্রকাশিত: (1972)

Unifying Semantics for Concurrent Programming
অনুযায়ী: Hoare, T
প্রকাশিত: (2013)

Unifying theories of programming
অনুযায়ী: He, J, অন্যান্য
প্রকাশিত: (1998)

Typed non-determinism in functional and concurrent calculi
অনুযায়ী: van den Heuvel, B, অন্যান্য
প্রকাশিত: (2023)

Integrating Action Calculi and Description Logics
অনুযায়ী: Drescher, C, অন্যান্য
প্রকাশিত: (2007)

Bounded functional calculi for unbounded operators
অনুযায়ী: Batty, C, অন্যান্য
প্রকাশিত: (2023)

Unifying Theories for Parallel Programming
অনুযায়ী: Hoare, C, অন্যান্য
প্রকাশিত: (1997)

Process Algebra: A Unifying Approach
অনুযায়ী: Hoare, C
প্রকাশিত: (2004)

Product formulas in functional calculi for sectorial operators
অনুযায়ী: Batty, C, অন্যান্য
প্রকাশিত: (2014)

Fundamentals of uncertainty calculi with applications to fuzzy inference /
অনুযায়ী: 431952 Grabisch, Michel, অন্যান্য
প্রকাশিত: (1995)

In praise of algebra
অনুযায়ী: Hoare, T, অন্যান্য
প্রকাশিত: (2012)

Linear realizability and full completeness for typed lambda−calculi
অনুযায়ী: Abramsky, S, অন্যান্য
প্রকাশিত: (2005)

Internal proof calculi for modal logics with separating conjunction
অনুযায়ী: Demri, S, অন্যান্য
প্রকাশিত: (2021)

More results about differential calculi on the quantum superplane /
অনুযায়ী: 320061 El Hassouni, A., অন্যান্য
প্রকাশিত: (1995)

Functional calculi for sectorial operators and related function theory
অনুযায়ী: Batty, CJK, অন্যান্য
প্রকাশিত: (2021)

A Decomposition Rule for Decision Procedures by Resolution-Based Calculi.
অনুযায়ী: Hustadt, U, অন্যান্য
প্রকাশিত: (2004)

Categorical abstract machines for higher-order typed lambda-calculi
অনুযায়ী: Ritter, E
প্রকাশিত: (1994)

Generic Models of the Laws of Programming
অনুযায়ী: Hoare, T
প্রকাশিত: (2013)

Analysis of urinary calculi by physical methods in Hospital Universiti Sains Malaysia
অনুযায়ী: Zainuddin, Saiful Azli Mohd
প্রকাশিত: (2010)

Comments on: Comparison of three different endoscopic techniques in management of bladder calculi
অনুযায়ী: Kamarulzaman, Mohd Nazli
প্রকাশিত: (2011)

Towards a Formal Distributional Semantics: Simulating Logical Calculi with Tensors
অনুযায়ী: Grefenstette, E
প্রকাশিত: (2013)

Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems /
অনুযায়ী: 180279 Bowman, Howard, অন্যান্য
প্রকাশিত: (2006)

Laws of Occam Programming
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1986)

The Laws of Occam Programming
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1988)

The laws of occam programming
অনুযায়ী: Roscoe, A, অন্যান্য
প্রকাশিত: (1988)

Laws of programming with concurrency (Invited Talk)
অনুযায়ী: Hoare, T
প্রকাশিত: (2013)

Unifying Models of Data Flow
অনুযায়ী: Hoare, T, অন্যান্য
প্রকাশিত: (2011)

Unifying Theories : A Personal Statement
অনুযায়ী: Hoare, C
প্রকাশিত: (1996)

Unifying theories of healthiness condition
অনুযায়ী: He, J, অন্যান্য
প্রকাশিত: (2000)

The enterprise unified process : extending the rational unified process /
অনুযায়ী: Ambler, Scott W., 1966-, অন্যান্য
প্রকাশিত: (2005)

Cystic calculi removal in African spurred tortoise (Geochelone sulcata) using transplstron coeliotomy
অনুযায়ী: Che' Amat, Azlan, অন্যান্য
প্রকাশিত: (2012)

Implicit automata in typed λ-calculi I: Aperiodicity in a non-commutative logic
অনুযায়ী: Nguyễn, LTD, অন্যান্য
প্রকাশিত: (2020)