Riccardo Pucella  Home/Search
Context
Related
| cornell.edu/riccardo/...bakkercflow.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cornell.edu/riccardo/reviews (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: istic of imperative programs is that they embody the notion of a computation step: a program being a sequence of actions, it forces a sequence of intermediates states. Typically, the intermediate states are observable, meaning that one can observe something about that intermediate state, either by looking up the value of a variable, by witnessing an output operation, etc. When the intermediate states of a computation are observable, it becomes reasonable to talk about infinite (nonterminating)... (Update)
Active bibliography (related documents): More All
0.5: Building Metric Structures with the Meas-Functor - den Hartog, de Vink (Correct)
0.0: Chapters 3 and 8: Yes-No voting - There Are Many (Correct)
0.0: Program Semantics and Classical Logic - Muskens (1997) (Correct)
Similar documents based on text: More All
0.3: Asynchronous Rendez-Vous in Distributed Logic Programming - Eliëns, de Vink (1993) (Correct)
0.3: De Bakker-Zucker Processes Revisited - van Breugel (1999) (Correct)
0.2: Comparative Metric Semantics for Commit in Or-Parallel .. - Todoran, den Hartog.. (1997) (Correct)
BibTeX entry: (Update)
@article{ pucella01review,
author = "Pucella",
title = "review of Plotkin & Stirling & Tofte (Eds.), Proof, Language, and Interaction: Essays in Honour of Robin Milner ({MIT} Press)",
journal = "SIGACTN: SIGACT News (ACM Special Interest Group on Automata and Computability Theory)",
volume = "32",
year = "2001",
url = "citeseer.ist.psu.edu/article/pucella01review.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
906 A structural approach to operational semantics - Plotkin - 1981
362 Dynamic Logic - Harel, Kozen et al. - 2000
173 Principles of Mathematical Analysis (context) - Rudin - 1976
76 Toward a mathematical semantics for computer languages (context) - Scott, Strachey - 1971
2 Comparative Metric Semantics of Programming Languages: Nonde.. (context) - van Breugel - 1998
Documents on the same site (http://www.cs.cornell.edu/riccardo/reviews.html): More
Proof, Language, and Interaction: Essays in Honour of Robin.. - Edited By Plotkin (Correct)
Review of The π-calculus: A Theory of Mobile Processes by D.. - Pucella (2001) (Correct)
Unknown - Type-Logical Semantics By (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC