Paper Info
Title
The Miracle of Reactive Programming
Abstract
Reactive miracles are rather unexplored in Unifying Theories of Programming. We present two simple properties: prefixing a miracle with an event, and offering an external choice between a process and a miracle. Both are strange processes, each violating an important axiom of the standard failures-divergences model for CSP.
Year
DOI
Venue
2008
10.1007/978-3-642-14521-6_12
Unifying Theories of Programming
Keywords
Field
DocType
strange process,reactive miracle,standard failures-divergences model,unifying theories,simple property,reactive programming,external choice,important axiom
Miracle,Relational calculus,Axiom,Computer science,Algorithm,Artificial intelligence,Reactive programming
Conference
Volume
ISSN
ISBN
5713
0302-9743
3-642-14520-5
Citations 
PageRank 
References 
12
0.71
8
Authors
1
Name
Order
Citations
PageRank
Jim Woodcock124418.34