Unifying Semantics for Concurrent Programming

Unifying Semantics for Concurrent Programming

Bibliografiske detaljer
Hovedforfatter:	Hoare, T
Format:	Conference item
Udgivet:	Springer 2013

Lignende værker

Semantics of Nondeterminism‚ Concurrency and Communication
af: Francez, N, et al.
Udgivet: (1979)

Unified Theories of Programming
af: Hoare, C
Udgivet: (2015)

Unifying theories of programming
af: He, J, et al.
Udgivet: (1998)

Laws of programming with concurrency (Invited Talk)
af: Hoare, T
Udgivet: (2013)

Verification of Fine−grain Concurrent Programs
af: Hoare, T
Udgivet: (2008)

Unifying Theories for Parallel Programming
af: Hoare, C, et al.
Udgivet: (1997)

The Laws of Programming Unify Process Calculi
af: Hoare, T, et al.
Udgivet: (2012)

Relaxed Operational Semantics of Concurrent Programming Languages
af: Gustavo Petri, et al.
Udgivet: (2012-08-01)

Designing stream and semantics for uniform concurrency and logic programming
af: , VINK, Erik Peter de, et al.
Udgivet: (1990)

A Model for Programming Language Semantics
af: Hoare, C
Udgivet: (1975)

Categorical Semantics for Programming Languages
af: He, J, et al.
Udgivet: (1989)

Concurrency and Refinement in the Unified Modeling Language
af: Davies, J, et al.
Udgivet: (2003)

Concurrency and Refinement in the Unified Modeling Language
af: Davies, J, et al.
Udgivet: (2002)

A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
af: Hoare, C
Udgivet: (2015)

Fine−grain Concurrency
af: Hoare, T
Udgivet: (2007)

Fine−Grain Concurrency
af: Hoare, T
Udgivet: (2008)

Fine−grain concurrency
af: Hoare, T
Udgivet: (2010)

Algebra of concurrent design
af: Hoare, T
Udgivet: (2012)

Semantics of concurrent computation : proceedings /
af: International Symposium on Semantics of Concurrent Computation, Evian, France July 2-4, 1979, et al.
Udgivet: (1979)

Consistent and Complementary Formal Theories of the Semantics of Programming Languages
af: Hoare, C, et al.
Udgivet: (1974)

A Theory of Conjunction and Concurrency
af: Hoare, C
Udgivet: (1989)

A Theory of Conjunction and Concurrency
af: Hoare, C
Udgivet: (1990)

Net Models for Concurrent Object Behaviour
af: Hoare, T
Udgivet: (2012)

Unifying Models of Data Flow
af: Hoare, T, et al.
Udgivet: (2011)

Algebra Unifies Operational Calculi
af: van Staden, S, et al.
Udgivet: (2012)

Process Algebra: A Unifying Approach
af: Hoare, C
Udgivet: (2004)

Unifying Theories : A Personal Statement
af: Hoare, C
Udgivet: (1996)

Angelic semantics of fine-grained concurrency
af: Ghica, D, et al.
Udgivet: (2008)

Coinductive Big-Step Semantics for Concurrency
af: Tarmo Uustalu
Udgivet: (2013-12-01)

Linking Theories of Concurrency
af: He, J, et al.
Udgivet: (2005)

Unifying theories of healthiness condition
af: He, J, et al.
Udgivet: (2000)

Is the Lithuanian Dative a Unified Semantic Category?
af: Jonė Grigaliūnienė
Udgivet: (2003-12-01)

The Challenge of Unifying Semantic and Syntactic Inference Restrictions
af: Christoph Weidenbach
Udgivet: (2019-12-01)

A mathematical game semantics of concurrency and nondeterminism
af: Gutierrez, J
Udgivet: (2015)

Concurrent Programming
af: Bryant, Randal E., et al.
Udgivet: (2023)

Concurrent programming /
af: 361244 Burns, Alan, et al.
Udgivet: (1993)

Concurrent programming /
af: Norain Gehani, et al.
Udgivet: (1988)

Concurrent Kleene Algebra
af: Hoare, C, et al.
Udgivet: (2009)

Semantics and refinement for a concurrent object oriented language
af: Monteiro Borba, P
Udgivet: (1995)

Foundations of Concurrent Kleene Algebra
af: Hoare, C, et al.
Udgivet: (2009)