Algebraic Operational Semantics and Occam
Edit Page
Report
Scan day: 07 February 2014 UTC
9
Virus safety - good
Description: Article by Yuri Gurevich, Lawrence S. Moss.
, "Algebraic Operational Semantics and Occam", CSL'89, 3rd Workshop on Computer Science Logic, Springer Lecture Notes in Computer Science 440, 1990, 176--192. An early generalization of the sequential ASM model to treat distributed, concurrent applications. A substantial fragment of the Occam programming language is used as an example.
Size: 352 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Abstract State Machines: Occam |
| Keywords: | abstract state machines, evolving algebras, Occam |
| Description: | Abstract State Machine paper web page on Occam |
| IP-address: | 141.212.113.142 |
WHOIS Info
| NS | Name Servers: DNS.ITCS.UMICH.EDU 141.211.144.15 DNS2.ITCS.UMICH.EDU 141.211.125.15 |
| WHOIS | |
| Date | activated: 07-Oct-1985 last updated: 16-May-2012 expires: 31-Jul-2014 |