Conferences in DBLP
Paul King , Graeme Smith Formalisation of behavioural and structural concepts for communication systems. [Citation Graph (0, 0)][DBLP ] Conf ] Frank A. Stomp A derivation of a broadcasting protocol using sequentially phased reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Richard L. Tenney Modelling flow control in Estelle. [Citation Graph (0, 0)][DBLP ] Conf ] Deepinder P. Sidhu The first ten years, the next ten years. [Citation Graph (0, 0)][DBLP ] Conf ] Jan K. Pachl A notation for specifying test selection criteria. [Citation Graph (0, 0)][DBLP ] Conf ] Mon-Song Chen , Yanghee Choi , Aaron Kershenbaum Approaches utilizing segment overlap to minimize test sequences. [Citation Graph (0, 0)][DBLP ] Conf ] Srinivas Eswara , Tom Berriman , Philip VanHoutte , Behçet Sarikaya Towards execution of TTCN test cases. [Citation Graph (0, 0)][DBLP ] Conf ] Alistair Cockburn , Wayne Citrin , Rainer Hauser , Jürg von Känel An environment for interactive design of communications architectures. [Citation Graph (0, 0)][DBLP ] Conf ] N. P. Alfano , B. Kanungo Development of an international standard for conformance testing X.25 DTEs January 1988 - May 1989. [Citation Graph (0, 0)][DBLP ] Conf ] Murat Bilgic , Behçet Sarikaya An ASN.1 encoder/decoder and its performance. [Citation Graph (0, 0)][DBLP ] Conf ] Peter van Eijk , Harro Kremer , Marten van Sinderen On the use of specification styles for automated protocol implementation from LOTOS to C. [Citation Graph (0, 0)][DBLP ] Conf ] Shingo Nomura , Toru Hasegawa , Takashi Takizuka A LOTOS compiler and process synchronization manager. [Citation Graph (0, 0)][DBLP ] Conf ] Haruhisa Ichikawa , Kenjiroh Yamanaka , June Kato Incremental specification in LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond E. Miller Protocol verification: the first ten years, the next ten years; some personal observations. [Citation Graph (0, 0)][DBLP ] Conf ] Rom Langerak Decomposition of functionality: a correctness-preserving LOTOS transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Karen Rudie , W. Murray Wonham Supervisory control of communicating processes. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Friso Groote Specification and verification of real time systems in ACP. [Citation Graph (0, 0)][DBLP ] Conf ] Fredrik Orava , Joachim Parrow Algebraic descriptions of mobile networks: An example. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhard Gotzhein Specifying communication services with temporal logic. [Citation Graph (0, 0)][DBLP ] Conf ] Einar Snekkenes Authentication in Open Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Roger Duke , Gordon A. Rose , Anthony Lee Object-oriented protocol specification. [Citation Graph (0, 0)][DBLP ] Conf ] Chris A. Vissers FDTs for open distributed systems, a retrospective and a prospective view. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Fantechi , Stefania Gnesi , Gioia Ristori Compositional logic semantics and LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Garavel , Joseph Sifakis Compilation and verification of LOTOS specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Tommaso Bolognesi , Ferdinando Lucidi , Sebastiano Trigila From timed Petri nets to timed LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Colin H. West The first ten years, the next ten years. [Citation Graph (0, 0)][DBLP ] Conf ] 