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

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

4
(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

2013 ◽  
pp. 204-223 ◽  
Author(s):  
Frank Zeyda ◽  
Ana Cavalcanti
Keyword(s):  
Higher Order

Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions

2013 ◽  
pp. 186-203
Author(s):  
Chengcheng Wu ◽  
Yongxin Zhao ◽  
Huibiao Zhu
Keyword(s):  
Operational Semantics ◽  
Algebraic Semantics

Denotational Semantics for a Probabilistic Timed Shared-Variable Language

2013 ◽  
pp. 224-247 ◽  
Author(s):  
Huibiao Zhu ◽  
Jeff W. Sanders ◽  
Jifeng He ◽  
Shengchao Qin
Keyword(s):  
Denotational Semantics ◽  
Shared Variable

Circus Time with Reactive Designs

2013 ◽  
pp. 68-87 ◽  
Author(s):  
Kun Wei ◽  
Jim Woodcock ◽  
Ana Cavalcanti

scholarly journals A Probabilistic Theory of Designs Based on Distributions

2013 ◽  
pp. 105-123 ◽  
Author(s):  
Riccardo Bresciani ◽  
Andrew Butterfield
Keyword(s):  
Probabilistic Theory

Algebra Unifies Operational Calculi

2013 ◽  
pp. 88-104 ◽  
Author(s):  
Stephan van Staden ◽  
Tony Hoare

The Logic of U ·(TP)2

2013 ◽  
pp. 124-143 ◽  
Author(s):  
Andrew Butterfield
Load More ...
Sign in / Sign up

Export Citation Format

Share Document