Concurrent Processes and Their Syntax
Journal of the ACM (JACM)
Communicating sequential processes
Communications of the ACM
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Four combinators for concurrency
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Communication protocols and error recovery procedures
Proceedings of the 1975 ACM SIGCOMM/SIGOPS workshop on Interprocess communications
Formal languages and their relation to automata
Formal languages and their relation to automata
Deriving protocol specifications from service specifications
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Delay-Independent Design for Distributed Systems
IEEE Transactions on Software Engineering
Constructing Submodule Specifications and Network Protocols
IEEE Transactions on Software Engineering
Self-Synchronizing Communication Protocols
IEEE Transactions on Computers
New results on deriving protocol specifications from service specifications
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Deriving a protocol converter: a top-down method
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Trace Analysis for Conformance and Arbitration Testing
IEEE Transactions on Software Engineering
On the Specification and Synthesis of Communicating Processes
IEEE Transactions on Software Engineering
Synthesis of Communication Protocols: Survey and Assessment
IEEE Transactions on Computers - Special issue on protocol engineering
Synthesizing a Protocol Converter From Executable Protocol Traces
IEEE Transactions on Computers - Special issue on protocol engineering
Efficient gateway synthesis from formal specifications
SIGCOMM '91 Proceedings of the conference on Communications architecture & protocols
Experience with formal methods in protocol development
ACM SIGCOMM Computer Communication Review
Deriving protocol specifications from service specifications including parameters
ACM Transactions on Computer Systems (TOCS)
A polynomial algorithm for gateway generation from formal specifications
IEEE/ACM Transactions on Networking (TON)
Automated repair of complex systems by fault compensation
IEEE/ACM Transactions on Networking (TON)
A discipline for constructing multiphase communication protocols
ACM Transactions on Computer Systems (TOCS)
Synthesis of communications protocols: an annotated bibliography
ACM SIGCOMM Computer Communication Review
Mobile Networks and Applications - Special issue: protocols for mobile environments
Formal synthesis and code generation of embedded real-time software
Proceedings of the ninth international symposium on Hardware/software codesign
Solution of parallel language equations for logic synthesis
Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design
Specifying Transaction-Based Information Systems with Regular Expressions
IEEE Transactions on Software Engineering
Concurrent Embedded Real-Time Software Verification
COMPSAC '00 24th International Computer Software and Applications Conference
Submodule Construction for Specifications with Input Assumptions and Output Guarantees
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Submodule Construction and Supervisory Control: A Generalization
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
Extended quasi-static scheduling for formal synthesis and code generation of embedded software
Proceedings of the tenth international symposium on Hardware/software codesign
An exercise in constructing multi-phase communication protocols
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
A requirement model for the 5th generation
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling
VLSID '03 Proceedings of the 16th International Conference on VLSI Design
An efficient method for protocol conversion
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
Synthesis of real-time embedded software with local and global deadlines
Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Formal specifications design, evolution and reuse
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Component Verification with Automatically Generated Assumptions
Automated Software Engineering
Progressive solutions to a parallel automata equation
Theoretical Computer Science
Structured Specification of Communicating Systems
IEEE Transactions on Computers
Controllable Delay-Insensitive Processes
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Residual for Component Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
The process mediation framework for semantic web services
International Journal of Agent-Oriented Software Engineering
Using First-Order Logic to Reason about Submodule Construction
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Generalizing the submodule construction techniques for extended state machine models
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Submodule construction for extended state machine models
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Testing in context: framework and test derivation
Computer Communications
Design of simplified protocol converters through protocol complementation
Computer Communications
Controllable Delay-Insensitive Processes
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
From qualitative to quantitative enforcement of security policy
MMM-ACNS'12 Proceedings of the 6th international conference on Mathematical Methods, Models and Architectures for Computer Network Security: computer network security
Using logic to solve the submodule construction problem
Discrete Event Dynamic Systems
| Hi-index | 0.02 |