Basic protocols: pecification language for distributed systems

Authors:
Alexander Letichevsky
Affiliations:
Department of Recursive Computers, Glushkov Institute of Cybernetics, Kiev, Ukraine
Venue:
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Year:
2006

Citing 5
Cited 0

Model checking and abstraction

ACM Transactions on Programming Languages and Systems (TOPLAS)
Model checking

Model checking
A Model for Interaction of Agents and Environments

WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Leveraging UML to deliver correct telecom applications

UML for real
Systems Specification by Basic Protocols

Cybernetics and Systems Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract