DocumentCode
1112010
Title
A program for animating CCS specifications
Author
Stobo, J.R.
Volume
9
Issue
3
fYear
1994
fDate
5/1/1994 12:00:00 AM
Firstpage
117
Lastpage
125
Abstract
The paper describes the operation of a program which enables the behaviours admitted by a specification in the Calculus of Communicating Systems (CCS) to be investigated. Two specifications in the calculus are presented to illustrate the issues under discussion, and program output from the animation of these specifications is shown, both to elucidate the program´s value and limitations and to highlight distinctive features of specifications in CCS
Keywords
calculus of communicating systems; computer animation; formal specification; CCS specifications; Calculus of Communicating Systems; animation;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
295066
Link To Document