A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Communicating sequential processes
Communicating sequential processes
Journal of the ACM (JACM)
The PegaSys System: pictures as formal documentation of large programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering
The PSG system: from formal language definitions to interactive programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS)
Rationale and concepts for the SUPRENUM supercomputer architecture
Proceedings of the IFIP WG 10.3 working conference on highly parallel computers for numerical and signal processing applications on Highly parallel computers
SESPSDE86 ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments
A programming environment for CSP
SDE 2 Proceedings of the second ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Mapping strategies in message based multiprocessor systems
Volume I: Parallel architectures on PARLE: Parallel Architectures and Languages Europe
The synthesizer generator reference manual (3rd ed.)
The synthesizer generator reference manual (3rd ed.)
The connection machine
Viewing Ada from a process model perspective
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Proceedings of the 1985 annual ACM SIGAda international conference on Ada
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Squeak: a language for communicating with mice
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
The Vienna Definition Language
ACM Computing Surveys (CSUR)
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Interactive Programming Environments
Interactive Programming Environments
Pecan: Program development systems that support multiple views
ICSE '84 Proceedings of the 7th international conference on Software engineering
CCS expressions, finite state processes, and three problems of equivalence
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
A formal description of the UNIX operating system
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
IDEOSY: An Ideographic and Interactive Program Description System
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Occam Programming Manual
XY-WINS: an integraded environment for developing graphical user interfaces
UIST '88 Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface Software
Visual programming: perspectives and approaches
IBM Systems Journal
A graphical interval logic for specifying concurrent systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Implementing inheritance in operational graphical languages
ACM SIGSOFT Software Engineering Notes
Visual programming: perspectives and approaches
IBM Systems Journal
| Hi-index | 0.00 |
An ongoing project concerned with the development of environments that support the specification and design of concurrent systems is reported. The project has two key aspects: an existing and working system, Clara, that supports Milner's CCS as a specification and design language; and the development of general techniques for computer-aided generation of Clara-like environments for other concurrent languages. The Clara environment is emphasized. It has two main components: support for the usage of formal techniques in the design process, and a rich and highly interactive simulation facility. A further distinguishing feature is the environment's graphical user interface which is based on a pictorial version of CCS. The semantics of CCS is defined nonprocedurally in two phases: an operational semantics given as a set of inference rules, and an algebraic semantics represented by a set of equational rules.