Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

D. Simon

dblp:52/6267 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 1983
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Computer networks · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer networks
1 paper
Internet architecture and protocols · 100%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Internet architecture and protocols › protocol specification
formal description techniques
0.011983
Description, simulation and implementation of communication protocols using PDIL · SIGCOMM 1983
Internet architecture and protocols
protocol specification
0.011983
Description, simulation and implementation of communication protocols using PDIL · SIGCOMM 1983
Internet architecture and protocols
protocol implementation
0.011983
Description, simulation and implementation of communication protocols using PDIL · SIGCOMM 1983
YearPublicationVenuePosition
1983 Description, simulation and implementation of communication protocols using PDIL
abstract
This paper presents the basis of PDIL, a language designed for specifying protocols and services and allowing automatic implementation. The main objectives of the language are unambiguous description, simulation and automatic implementation. The first part presents the objects that PDIL allows to manipulate : machines, channels, contexts, automata, interactions. The second part gives an overview of a PDIL description unit in its language aspect. This paper also introduces general ideas about the description of simulation and automatic implementation of protocols or services.
Jean-Pierre Ansart, V. Chari, M. Neyer, Omar Rafiq, D. Simon
SIGCOMM5