Unifying Theories of Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642357046, 9783642357053

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Higher-Order UTP for a Theory of Methods

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35705-3_10 ◽

2013 ◽

pp. 204-223 ◽

Cited By ~ 5

Author(s):

Frank Zeyda ◽

Ana Cavalcanti

Keyword(s):

Higher Order

Download Full-text

Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35705-3_9 ◽

2013 ◽

pp. 186-203

Author(s):

Chengcheng Wu ◽

Yongxin Zhao ◽

Huibiao Zhu

Keyword(s):

Operational Semantics ◽

Algebraic Semantics

Download Full-text

Conscriptions: A New Relational Model for Sequential Computations

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35705-3_7 ◽

2013 ◽

pp. 144-163 ◽

Cited By ~ 3

Author(s):

Steve Dunne

Keyword(s):

Relational Model

Download Full-text

Denotational Semantics for a Probabilistic Timed Shared-Variable Language

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35705-3_11 ◽

2013 ◽

pp. 224-247 ◽

Cited By ~ 4

Author(s):

Huibiao Zhu ◽

Jeff W. Sanders ◽

Jifeng He ◽

Shengchao Qin

Keyword(s):

Denotational Semantics ◽

Shared Variable

Download Full-text

Unifying Theories of Programming with Monads

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35705-3_2 ◽

2013 ◽

pp. 23-67 ◽

Cited By ~ 2

Author(s):

Jeremy Gibbons

Keyword(s):

Unifying Theories Of Programming

Download Full-text

Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35705-3_8 ◽

2013 ◽

pp. 164-185 ◽

Cited By ~ 2

Author(s):

Huibiao Zhu ◽

Peng Liu ◽

Jifeng He ◽

Shengchao Qin

Keyword(s):

Operational Semantics ◽

Algebraic Semantics ◽

Mechanical Approach

Download Full-text

Circus Time with Reactive Designs

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35705-3_3 ◽

2013 ◽

pp. 68-87 ◽

Cited By ~ 11

Author(s):

Kun Wei ◽

Jim Woodcock ◽

Ana Cavalcanti

Download Full-text

A Probabilistic Theory of Designs Based on Distributions

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35705-3_5 ◽

2013 ◽

pp. 105-123 ◽

Cited By ~ 4

Author(s):

Riccardo Bresciani ◽

Andrew Butterfield

Keyword(s):

Probabilistic Theory

Download Full-text

Algebra Unifies Operational Calculi

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35705-3_4 ◽

2013 ◽

pp. 88-104 ◽

Cited By ~ 4

Author(s):

Stephan van Staden ◽

Tony Hoare

Download Full-text

The Logic of U ·(TP)2

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35705-3_6 ◽

2013 ◽

pp. 124-143 ◽

Cited By ~ 6

Author(s):

Andrew Butterfield

Download Full-text

Unifying Theories of Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Higher-Order UTP for a Theory of Methods

Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions

Conscriptions: A New Relational Model for Sequential Computations

Denotational Semantics for a Probabilistic Timed Shared-Variable Language

Unifying Theories of Programming with Monads

Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude

Circus Time with Reactive Designs

A Probabilistic Theory of Designs Based on Distributions

Algebra Unifies Operational Calculi

The Logic of U ·(TP)2

Unifying Theories of Programming - Lecture Notes in Computer Science
Latest Publications