Browse New Popular Keyword Cloud Advanced Search Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports

Algebraic Operational Semantics and Occam

eecs.umich.edu
Visit Site

Article by Yuri Gurevich, Lawrence S. Moss.

Category
Occam
Visits
462
Added
Jun 5, 2024
Rating
(78)
Rate This Site
More in Occam Report
QR Code
QR code Download PNG
Embed Badge
Place this code on your website to show you're listed here.
Submit Your Site

Add your website to our directory for free.

Submit a Link
Related Links
Occam-pi and KRoC: Blending CSP and the Pi-calculus 443 visits
Programming in Occam 407 visits
Correctness of Compiling Occam to Transputer Code 287 visits
Hello, World program 252 visits
Introduction to the Programming Language Occam 176 visits
Get the best links delivered weekly — hand-picked from 1,200,810 resources