Integrating the Semantics of Deterministic Multi-layered Communication Systems

Authors:
Rui Gustavo Crespo
Affiliations:
Department of Electrical Engineering and Computers, Technical University of Lisbon, Av. Rovisco Pais, 1049-001 Lisboa, Portugal
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 8
Cited 0

Communicating sequential processes

Communicating sequential processes
Algebraic theory of processes

Algebraic theory of processes
The formal semantics of programming languages: an introduction

The formal semantics of programming languages: an introduction
Coordinating with obligations

AGENTS '98 Proceedings of the second international conference on Autonomous agents
The Vienna Definition Language

ACM Computing Surveys (CSUR)
An axiomatic basis for computer programming

Communications of the ACM
Feature Execution Trees and Interactions

PDPTA '02 Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications - Volume 3
The IETF Internet telephony architecture and protocols

IEEE Network: The Magazine of Global Internetworking

Quantified Score

Hi-index	0.00

Visualization

Abstract

Communication systems are now developed and tailored by different classes of participants, each one focusing his/her attention on particular aspects of the system. We analyse how Phone and Internet services can be described by event and state representation schemes. We propose to use the denotational semantics to express the interpretation of different representation schemes for the development and personalisation of deterministic communication systems.