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

9783642145209, 9783642145216

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Encoding Circus Programs in ProofPowerZ

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-14521-6_13 ◽

2010 ◽

pp. 218-237 ◽

Cited By ~ 4

Author(s):

Frank Zeyda ◽

Ana Cavalcanti

Download Full-text

Transaction Calculus

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-14521-6_2 ◽

2010 ◽

pp. 2-21

Author(s):

He Jifeng

Download Full-text

Unifying Theories of Locations

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-14521-6_10 ◽

2010 ◽

pp. 161-180 ◽

Cited By ~ 2

Author(s):

Michael Anthony Smith ◽

Jeremy Gibbons

Download Full-text

Monadic Maps and Folds for Multirelations in an Allegory

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-14521-6_7 ◽

2010 ◽

pp. 102-121 ◽

Cited By ~ 1

Author(s):

C. E. Martin ◽

S. A. Curtis

Download Full-text

UTP and Temporal Logic Model Checking

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-14521-6_3 ◽

2010 ◽

pp. 22-41 ◽

Cited By ~ 4

Author(s):

Hugh Anderson ◽

Gabriel Ciobanu ◽

Leo Freitas

Keyword(s):

Model Checking ◽

Temporal Logic ◽

Logic Model ◽

Logic Model Checking

Download Full-text

Denotational Approach to an Event-Driven System-Level Language

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-14521-6_15 ◽

2010 ◽

pp. 258-278 ◽

Cited By ~ 5

Author(s):

Huibiao Zhu ◽

Jifeng He ◽

Xiaoqing Peng ◽

Naiyong Jin

Keyword(s):

System Level ◽

Driven System ◽

Event Driven

Download Full-text

Unifying Input Output Conformance

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-14521-6_11 ◽

2010 ◽

pp. 181-201 ◽

Cited By ~ 7

Author(s):

Martin Weiglhofer ◽

Bernhard K. Aichernig

Keyword(s):

Input Output

Download Full-text

Lazy UTP

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-14521-6_6 ◽

2010 ◽

pp. 82-101 ◽

Cited By ~ 2

Author(s):

Walter Guttmann

Download Full-text

A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-14521-6_4 ◽

2010 ◽

pp. 42-61 ◽

Cited By ~ 7

Author(s):

Ana Cavalcanti ◽

Marie-Claude Gaudel

Keyword(s):

Unifying Theories Of Programming

Download Full-text

The Miracle of Reactive Programming

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-14521-6_12 ◽

2010 ◽

pp. 202-217 ◽

Cited By ~ 7

Author(s):

Jim Woodcock

Keyword(s):

Reactive Programming

Download Full-text

Unifying Theories of Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Encoding Circus Programs in ProofPowerZ

Transaction Calculus

Unifying Theories of Locations

Monadic Maps and Folds for Multirelations in an Allegory

UTP and Temporal Logic Model Checking

Denotational Approach to an Event-Driven System-Level Language

Unifying Input Output Conformance

Lazy UTP

A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming

The Miracle of Reactive Programming

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