Concepts, Syntax and Semantics of SEGRAS: A Specification Language for Distributed Systems |
Contents
Specification of Distributed Systems | 1 |
Formal Semantics | 9 |
Informal Introduction to SEGRAS | 13 |
Copyright | |
6 other sections not shown
Common terms and phrases
abstract data types abstract syntax algebraic specification application argument arity assignment behavior specification buffer Chapter combination components Computer concepts concurrently condition scheme Condition-Event systems congruence relation construction data specification data structure declarations defined definition denotational semantics denotes dependent types distributed systems domain dynamic E-net equations event scheme facilities flow elements fork formal formulas function types given initial algebra kernel language labeling mergesort module morphism nodes nonsequential notation numlist occur operation names operation symbols OpSymbols pair parametric types partial algebras partially ordered Petri nets phil Pother processes prog programming proof tree provides renaming result type S-elements Section SEGRAS semantics sequence slot sorts spec-units specification languages stack substitutions subterms syntactic system specification T₁ temporal logic token game try-lock TSPEC tuples type checking type constructors type context type deduction type variables underlying CE-system variable symbols well-formed well-typing XTerms