Conferences in DBLP
Nancy A. Lynch Proving performance propterties (even probabilistic ones). [Citation Graph (0, 0)][DBLP ] Conf ] Deh-Min Wu Semantic-oriented description techniques for network management information modelling. [Citation Graph (0, 0)][DBLP ] Conf ] Claudia Popien , Bernd Meyer A service request description language. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Cattel Modelization and verification of a multiprocessor realtime OS kernel. [Citation Graph (0, 0)][DBLP ] Conf ] O. González , V. G. García , M. Riesco , Enrique Vázquez Design of operating systems using the F.D.T. ESTELLE. [Citation Graph (0, 0)][DBLP ] Conf ] Bairong Zhang , Alistair Munro , Michael Barton The formalization and analysis of CCR protocol and service. [Citation Graph (0, 0)][DBLP ] Conf ] Jim Davies , Matt Wallis On the formal specification and verification of network routing algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] S. Le Bricquir , A. Lauzanne Validation of supplementary services in the context of interoperability. [Citation Graph (0, 0)][DBLP ] Conf ] Juan C. Yelmo , F. Javier Carrasco , Carlos Sánchez , Juan J. Gil , C. Ramos , M. I. Felipe FDT based development of an interworking unit between LANs and X.25 networks. [Citation Graph (0, 0)][DBLP ] Conf ] Willem Hengeveld , Peter van der Toorn , Geert-Jan Houben Using formal specification and simulation: practical experience with distributed applications. [Citation Graph (0, 0)][DBLP ] Conf ] Pim Kars Representation of process-gate nets in LOTOS and verification of LOTOS laws: the Boolean algebra approach. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Kerbrat Reachable state space analysis of LOTOS specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard J. Holzmann , Doron Peled An improvement in formal verification. [Citation Graph (0, 0)][DBLP ] Conf ] Hacène Fouchal , Ana R. Cavalli A modal based verification for LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Fantechi , Stefania Gnesi , R. Sacchelli Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. [Citation Graph (0, 0)][DBLP ] Conf ] B. Botma , Rom Langerak Simulator for LOTOS to study the independence and causality of events. [Citation Graph (0, 0)][DBLP ] Conf ] Conrado Daws , Alfredo Olivero , Sergio Yovine Verifying ET-LOTOS programmes with KRONOS. [Citation Graph (0, 0)][DBLP ] Conf ] Wang Yi , Paul Pettersson , Mats Daniels Automatic verification of real-time communicating systems by constraint-solving. [Citation Graph (0, 0)][DBLP ] Conf ] Victor Luchangco , Ekrem Söylemez , Stephen J. Garland , Nancy A. Lynch Verifying timing properties of concurrent algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] J. R. Rowson Formal specification and analysis of an ISO communications protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Charles Grégoire Verification model reduction through abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth J. Turner , Ashley McClenaghan Visual animation of LOTOS using SOLVE. [Citation Graph (0, 0)][DBLP ] Conf ] Leslie Lamport How good is your specification method? [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Courtiat , Djamel-Eddine Saïdouni Relating maximality-based semantics to action refinement in process algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Franco Fiore , Fosca Giannotti An abstract interpreter for the specification language LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Eckhardt Holz , Ketil Stølen An attempt to embed a restricted version of SDL as a target language in Focus. [Citation Graph (0, 0)][DBLP ] Conf ] Jos C. M. Baeten , Sjouke Mauw Delayed choice: an operator for joining Message Sequence Charts. [Citation Graph (0, 0)][DBLP ] Conf ] Peter B. Ladkin , Stefan Leue Four issues concerning the semantics of Message Flow Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Vogel Towards a formal computational model for distributed multimedia applications. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Bredereke , Reinhard Gotzhein Specification, detection and resolution of IN feature interactions with Estelle. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshiaki Kakuda , Hiroyuki Asada , Tohru Kikuno Application of protocol sythesis technique to resolution of the service interaction problem. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard J. Holzmann Proving the value of formal methods. [Citation Graph (0, 0)][DBLP ] Conf ] Ming Yu Yao , Alexandre Petrenko , Gregor von Bochmann A structural analysis approach to the evaluation of fault coverage for protocol conformance testing. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Phalippou Test sequence generation using Estelle or SDL structure information. [Citation Graph (0, 0)][DBLP ] Conf ] H. Kremer Derivation of efficient implementations from formal descriptions - issues, methods and conformance. [Citation Graph (0, 0)][DBLP ] Conf ] Jane Hillston , Holger Hermanns , Ulrich Herzog , Vassilis Mertsiotakis , Michael Rettelbach Stochastic process algebras: integrating qualitative and quantitative modelling. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Böhmer , Ralf Klafka A new approach to performance evaluation of formally specified protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Bernardo , Lorenzo Donatiello , Roberto Gorrieri Integrated analysis of concurrent distributed systems using Markovian process algebra. [Citation Graph (0, 0)][DBLP ] Conf ] R. C. Sekar , Yow-Jian Lin , C. R. Ramakrishnan Modelling techniques for evolving distributed applications. [Citation Graph (0, 0)][DBLP ] Conf ] Bhed Bahadur Bista , Zixue Cheng , Atsushi Togashi , Norio Shiratori A synthesis algorithm of a protocol model from a single entity. [Citation Graph (0, 0)][DBLP ] Conf ] Zixue Cheng , Tongjun Huang , Norio Shiratori A new distributed algorithm for implementation of LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Tomasz Janowski Stepwise transformations for fault-tolerant design of CCS processes. [Citation Graph (0, 0)][DBLP ] Conf ] 