MIDAS: Integrated Design and Simulation of Distributed Systems
IEEE Transactions on Software Engineering
Correctness verification of concurrent controller specifications
EURO-DAC '92 Proceedings of the conference on European design automation
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Complexity of expressions allowing concurrency
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An algebraic system for process structuring and interprocess communication
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
A technique for integrating simulation and system design
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
Hierarchical modeling of operating system structure and behavior
ACM '72 Proceedings of the ACM annual conference - Volume 2
A method for the description and analysis of complex software systems
Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems
Interactive workflow mining: requirements, concepts and implementation
Data & Knowledge Engineering - Special issue: Business process management
A prime decomposition result for parallel systems
ACM SIGACT News
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
UNDECIDABILITY OF LANGUAGE EQUIVALENCE FOR GENERALIZED REGULAR EXPRESSIONS
Fundamenta Informaticae
| Hi-index | 0.00 |