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)