Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Class Notes for CS 819 C -Spring 2002 7. Semantics of Concurrency
 

Summary: 203
Class Notes for CS 819 C - Spring 2002
7. Semantics of Concurrency
John C. Reynolds
Department of Computer Science
Carnegie Mellon University
revised May 17, 2002
c
2002 John C. Reynolds

204
Structural Operational Semantics Revisited
An execution (of a command) is a sequence
0 ; 1 ;   
of con gurations i related by the transition relation ;.
A con guration is either:
 nonterminal: A command-state pair hc; i, where  =
(s; h) and FV(c)  dom s.
 terminal: A state  or abort.
We write:

  

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University
Reynolds, John C. - School of Computer Science, Carnegie Mellon University

 

Collections: Computer Technologies and Information Sciences; Mathematics