Specifying Ada Server Tasks with Executable Formal Grammars
IEEE Transactions on Software Engineering
Specifying and automatically generating Ada tasks in Prolog
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
A simple realization of a parallel device recognizing regular trace languages
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
How to relieve a programmer from synchronization details
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Synchronization of concurrent processes without globality assumptions
ACM SIGPLAN Notices
Modelling Concurrency with Quotient Monoids
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Infinite Product of Traces Represented by Projections
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Modelling concurrency with comtraces and generalized comtraces
Information and Computation
A Set-Theoretic Framework for Component Composition
Fundamenta Informaticae
Fundamenta Informaticae
An Acceptance Vector Semantics for Path Programs
Fundamenta Informaticae
| Hi-index | 0.00 |