| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10118888 | Annals of Pure and Applied Logic | 2005 | 23 Pages |
Abstract
We capture the principal models of computation and specification in the literature by a uniform set of transparent mathematical descriptions which-starting from scratch-provide the conceptual basis for a comparative study.1
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Egon Börger,