Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Omar Hjiej, Abdelmalek Benzekri, Alberto Valderruten |
From Annotated LOTOS Specifications to Queueing Networks: Automating Performance Models Derivation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decentralized and Distributed Systems ![In: Decentralized and Distributed Systems, Proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems, Palma de Mallorca, Spain, 13-17 September 1993, pp. 401-412, 1993, North-Holland, 0-444-81791-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | Juan Quemada, David Larrabeiti, Santiago Pavón |
Compressing the State Space Representation of LOTOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993, pp. 19-34, 1993, North-Holland, 0-444-81773-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | Ole Christian Dahl, Elie Najm |
Specification & Detection of IN Service Interference Using LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993, pp. 53-69, 1993, North-Holland, 0-444-81773-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | Kenneth J. Turner, Richard O. Sinnott |
DILL: Specifying Digital Logic in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993, pp. 71-86, 1993, North-Holland, 0-444-81773-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | Ana R. Cavalli, Sung Un Kim, Patrick Maigron |
Improving Conformance Testing for LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993, pp. 367-381, 1993, North-Holland, 0-444-81773-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | Luc Léonard, Guy Leduc |
An Enhanced Version of Timed LOTOS and its Application to a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993, pp. 483-498, 1993, North-Holland, 0-444-81773-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | Akio Nakata, Teruo Higashino, Kenichi Taniguchi |
LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993, pp. 451-466, 1993, North-Holland, 0-444-81773-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | Gonzalo León, J. Carracedo, J. C. Moreno, Juan C. Yelmo, Juan J. Gil, Carlos Sánchez 0002, F. Javier Carrasco |
An Industrial Experience on Development with LOTOS and SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993, pp. 219-234, 1993, North-Holland, 0-444-81773-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
18 | Ashley McClenaghan |
Distributed systems : architecture-driven specification using extended LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1993 |
RDF |
|
18 | J. Paul Gibson |
Formal object oriented development of software systems using LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1993 |
RDF |
|
18 | Michele Boreale, Paola Inverardi, Monica Nesi |
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 43(3), pp. 155-160, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Guy Leduc |
A Framework Based on Implementation Relations for Implementing LOTOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 25(1), pp. 23-41, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Luigi Logrippo, Mohammed Faci, Mazen Haj-Hussein |
An Introduction to LOTOS: Learning by Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 23(5), pp. 325-342, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Charles Pecheur |
Using LOTOS for specifying the CHORUS distributed operating system kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 15(2), pp. 93-102, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Lynne Drayton, Amanda G. Chetwynd, Gordon S. Blair |
Introduction to LOTOS through a worked example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 15(2), pp. 70-85, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Robert G. Clark, Valerie M. Jones |
Use of LOTOS in the formal development of an OSI protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 15(2), pp. 86-92, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Carl Binding, Wiet Bouma, Michel Dauphin, Günter Karjoth, Yan Yang |
A Common Compiler for LOTOS and SDL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM Syst. J. ![In: IBM Syst. J. 31(4), pp. 668-690, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Ludo Cuypers |
Automated implementations of Lotos specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microprogramming ![In: Microprocess. Microprogramming 35(1-5), pp. 729-735, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Stan P. van de Burgt, Jan Kroon, A. M. Peeters |
Interactive Test Generation from LOTOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 189-203, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
18 | Teruo Higashino, Gregor von Bochmann, Xiangdong Li, Keiichi Yasumoto, Kenichi Taniguchi |
Test System for a Restricted Class of LOTOS Expressions with Data Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 205-216, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
18 | Ana R. Cavalli, Patrick Maigron, Sung Un Kim |
Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Protocol Test Systems ![In: Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992, pp. 237-248, 1992, North-Holland, 0-444-89980-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
18 | Fosca Giannotti, Diego Latella |
Using Abstract Interpretation for Gate splitting in LOTOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSA ![In: Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings, pp. 194-204, 1992, Atelier Irisa, IRISA, Campus de Beaulieu. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
18 | Angel Fernández, Carlos Miguel, Leon Vidaller, Juan Quemada |
Development of Satellite Communication Networks Based on LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 179-192, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
18 | Juan Quemada, Arturo Azcorra |
Structuring Protocols Using Exceptions in a LOTOS Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992, pp. 81-96, 1992, North-Holland, 0-444-89874-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
18 | Rosvelter João Coelho da Costa, Jean-Pierre Courtiat |
A true concurrency semantics for LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992, pp. 347-362, 1992, North-Holland, 0-444-89282-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
18 | Mazen Haj-Hussein, Luigi Logrippo, Jacques Sincennes |
Goal oriented execution for LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992, pp. 311-327, 1992, North-Holland, 0-444-89282-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
18 | Francisco Javier Carrasco, J. J. Gil |
A method for specifying and validating communication protocols in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992, pp. 247-262, 1992, North-Holland, 0-444-89282-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
18 | Patrik Ernberg, Thomas Hovander, Francisco Monfort |
Specification and implementation of an ISDN telephone system using LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992, pp. 171-186, 1992, North-Holland, 0-444-89282-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
18 | Tommaso Bolognesi |
The electric power of LOTOS - Results of a joint academic/industrial experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992, pp. 431-446, 1992, North-Holland, 0-444-89282-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
18 | Rom Langerak |
Bundle event structures: a non-interleaving semantics for LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992, pp. 331-346, 1992, North-Holland, 0-444-89282-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
18 | Heinrich Nirschl, Jacqueline Blanchard, Bernard Loyer |
LOTOS in Alcatel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992, pp. 15-22, 1992, North-Holland, 0-444-89282-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
18 | Günter Karjoth |
Generating transition graphs from LOTOS specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992, pp. 281-294, 1992, North-Holland, 0-444-89282-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
18 | Harro Kremer, Jeroen van de Lagemaat, Axel Rennoch, Giuseppe Scollo |
Protocol design using LOTOS: A critical synthesis of a standardization experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992, pp. 231-246, 1992, North-Holland, 0-444-89282-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
18 | Guy Leduc, Luc Léonard |
A timed LOTOS supporting a dense time domain and including new timed operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992, pp. 87-102, 1992, North-Holland, 0-444-89282-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
18 | Henk Eertink, Dietmar Wolz |
Symbolic execution of LOTOS specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992, pp. 295-310, 1992, North-Holland, 0-444-89282-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
18 | Muffy Thomas |
A translator for ASN.1 into LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992, pp. 37-52, 1992, North-Holland, 0-444-89282-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
18 | Carlos Miguel, Angel Fernández, Leon Vidaller |
Extending LOTOS towards performance evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992, pp. 103-118, 1992, North-Holland, 0-444-89282-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
18 | Tommaso Bolognesi, Olof Hagsand, Diego Latella, Björn Pehrson |
The Definition of a Graphical G-LOTOS Editor Using the Meta-Tool LOGGIE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 22(1), pp. 61-77, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Susan C. Murphy, Per Gunningberg, John P. J. Kelly |
Experiences with Estelle, LOTOS and SDL: A Protocol Implementation Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 22(1), pp. 51-59, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Mohammed Faci, Luigi Logrippo, Bernard Stepien |
Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ISDN Syst. ![In: Comput. Networks ISDN Syst. 21, pp. 53-67, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Hiroaki Kaminaga, Kaoru Takahashi, Norio Shiratori, Shoichi Noguchi |
An equivalence in lotos and its decision method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 22(1), pp. 10-20, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Deddo Wiersma, Kazuhito Ohmaki, Kokichi Futatsugi |
Specifications of a general user interface in LOTOS and OBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, COMPSAC 1991, Tokyo, Japan, 11-13 September, 1991, pp. 90-97, 1991, IEEE, 0-8186-2152-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Nathalie Rico, Gregor von Bochmann |
Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 199-213, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | S. Gallouzi, Luigi Logrippo, Abdellatif Obaid |
An expressive trace theory for LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 159-175, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Juan Quemada |
Compressed State Space Representation in LOTOS with the Interleaved Expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 19-35, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Guy Leduc |
Conformance Relation, Associated Equivalence, and New Canonical Tester in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991, pp. 249-264, 1991, North-Holland, 0-444-89210-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Luís Ferreira Pires, Jeroen Schot |
Systematic Design of a Network Gateway Using the FDT LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: Proceedings IEEE INFOCOM '91, The Conference on Computer Communications, Tenth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking in the 90s, Bal Harbour, Florida, USA, April 7-11, 1991, pp. 1344-1352, 1991, IEEE Computer Society, 0-87942-694-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Lars-Åke Fredlund, Fredrik Orava |
Modelling Dynamic Communication Structures in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 185-200, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Thierry Massart |
A Calculus to Define Correct Tranformations of LOTOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 281-296, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Kazuhito Ohmaki, Hirosato Tsuji, Kenjiroh Yamanaka, Yoshikazu Sato, Yoshinori Itabashi, Toshihiko Shimizu |
Design and Implementation of an Application Interface for LOTOS Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 345-360, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Ing Widya, Franck Sadoun, Gert-Jan van der Heijden |
Specification of a Distributed Coordination Function in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 133-148, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | José A. Mañas, Joaquín Salvachúa, Tomás de Miguel |
Tool Demonstration: A Cross Compiling Experiment: A PC Implementation of a LOTOS Spec. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 467-470, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Rom Langerak |
Event Structures for Design and Transformation in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 265-280, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Patrik Ernberg, Lars-Åke Fredlund, Bengt Jonsson 0001 |
Specification and Validation of a Simple Overtaking Protokol using LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 377-392, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Tommaso Bolognesi, Ferdinando Lucidi |
LOTOS-like Process Algebras with Urgent or Timed Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 249-264, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Elie Najm, Jean-Bernard Stefani |
Dynamic Configuration in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 201-216, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Ashley McClenaghan |
Experience of Using LOTOS Within the CIM-OSA Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 109-116, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Jean-Pierre Courtiat, Rosvelter João Coelho da Costa |
A LOTOS Based Calculus with True Concurrency Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 559-574, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Eric Madelaine, Didier Vergamini |
Specification and Verification of a Sliding Window Protocol in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 495-510, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Heinz Saria, Heinrich Nirschl, Carl Binding |
Mixing LOTOS and SDL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 425-439, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Mark Vigder, Raymond J. A. Buhr |
Using LOTOS in a Design Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 1-15, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Cheng Wu, Gregor von Bochmann |
Fairness in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 543-558, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Steve Rudkin |
Inheritance in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 409-424, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Eric Lallemand, Guy Leduc |
A LOTOS Data Facility Compiler (DAFY). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 313-327, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Guy Leduc |
An Upward Compatible Timed Extension to LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 217-232, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | José A. Mañas, Joaquín Salvachúa |
Lambda-beta: A Virtual LOTOS Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991, pp. 441-456, 1991, North-Holland, 0-444-89402-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Rocco De Nicola, Paola Inverardi, Monica Nesi |
Equational reasoning about LOTOS specifications: a rewriting approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSSD ![In: Proceedings of the 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, October 25-26, 1991, pp. 148-155, 1991, IEEE Computer Society, 978-0-8186-2320-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera |
An abstract execution model for basic LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Eng. J. ![In: Softw. Eng. J. 5(6), pp. 311-318, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Carlos Delgado Kloos, Gregorio González Martínez |
Expansion of LOTOS behaviour expressions as an exercise in transformational design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocessing and Microprogramming ![In: Microprocessing and Microprogramming 28(1-5), pp. 3-8, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Elspeth Cusack, Michael Lai |
Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented! ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings, pp. 179-202, 1990, Springer, 3-540-53931-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Luigi Logrippo, Tim Melanchuk, Robert J. Du Wors |
The algebraic specification language LOTOS: an industrial experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Software Development ![In: Conference proceedings on Formal methods in software development, Napa, California, USA, May 9-11, 1990, pp. 59-66, 1990, ACM. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Tommaso Bolognesi |
On the soundness of graphical representations of interconnected processes in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Software Development ![In: Conference proceedings on Formal methods in software development, Napa, California, USA, May 9-11, 1990, pp. 1-7, 1990, ACM. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Michel Barbeau, Gregor von Bochmann |
Extension of the Karp and Miller Procedure to LOTOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (DIMACS/AMS volume) ![In: Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990, pp. 103-120, 1990, DIMACS/AMS, 978-0-8218-6594-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Peter van Eijk |
Attribute Grammar Applications in Prototyping LOTOS Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAGA ![In: Attribute Grammars and their Applications, International Conference WAGA, Paris, France, September 19-21, 1990, Proceedings, pp. 91-100, 1990, Springer, 3-540-53101-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Tommaso Bolognesi, Ferdinando Lucidi, Sebastiano Trigila |
From timed Petri nets to timed LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990, pp. 395-408, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Alessandro Fantechi, Stefania Gnesi, Gioia Ristori |
Compositional logic semantics and LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990, pp. 365-378, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Haruhisa Ichikawa, Kenjiroh Yamanaka, June Kato |
Incremental specification in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990, pp. 183-196, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Peter van Eijk, Harro Kremer, Marten van Sinderen |
On the use of specification styles for automated protocol implementation from LOTOS to C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990, pp. 157-168, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Shingo Nomura, Toru Hasegawa, Takashi Takizuka |
A LOTOS compiler and process synchronization manager. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990, pp. 169-182, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Hubert Garavel, Joseph Sifakis |
Compilation and verification of LOTOS specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990, pp. 379-394, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Rom Langerak |
Decomposition of functionality: a correctness-preserving LOTOS transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990, pp. 229-242, 1990, North-Holland, 0-444-88810-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Tommaso Bolognesi |
A Graphical Composition Theorem for Networks of Lotos Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28 - June 1, 1990, Paris, France, pp. 88-95, 1990, IEEE Computer Society, 0-8186-2048-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Tomás de Miguel, Tomás Robles 0001, Joaquín Salvachúa, Arturo Azcorra |
The SRTS Experience: Using TOPO for LOTOS Design and Realization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 383-394, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Gonzalo León |
On the Technology Transfer of Formal Methods: An Experience on LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 471-486, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi |
A LOTOS Simulator in OBJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 535-538, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | To-Yat Cheung, Yucheng Ye |
An Executor for Graphical LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 547-550, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Luigi Logrippo |
The University of Ottawa LOTOS Toolkit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 563-566, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | S. Gallouzi, Luigi Logrippo, Abdellatif Obaid |
A Hoare-style Proof System for LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 49-62, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | M. Gamble, C. R. Taylor |
The CCSDS Protocol Validation Programme Inter Agency Testin Using LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 319-326, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Colin J. Fidge |
A LOTOS Interpreter for Simulating Real-Time Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 523-526, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Pierre Azéma, Khalil Drira, François Vernadat 0001 |
A Bus Instrumentation Protocol Specified in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 263-269, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Martin Dubuc, Gregor von Bochmann, O. Bellal, F. Saba |
Translation from TTCN to LOTOS and the Validation of Test Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 141-155, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Paul de Jager, Willem Jonker, Albert Wammes, Johan Wester |
An Interactive Programming Environment for LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 581-584, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Juan A. Saras, Julio Berocal, Juan Riera |
Use of Estelle, LOTOS and ASN.1 in One Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 337-343, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Luís Ferreira Pires, Wanderley Lopes de Souza |
Step-wise Refinement Design Example Using LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 255-262, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Josefina Navarro, Pablo San Martin |
Experience in the Development of an ISDN Layer 3 Service in LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 327-336, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | J. M. Martin Espinosa, J. M. Robles Roman, L. Fuertes Prieto |
Concurrent Modelling in LOTOS as a Solution to Real Time Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 311-318, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | J. Queiroz, Ahmed Serhrouchni, P. Cunha, Elie Najm |
PIL: A Tool for Pre-implementation of LOTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 567-570, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Alessandro Fantechi, Stefania Gnesi, Gianluca Mazzarini |
How Expressive Are LOTOS Behaviour Expressions? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 17-32, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
18 | Peter van Eijk, Henk Eertink |
Design of the LOTOSPHERE Symbolic LOTOS Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pp. 577-580, 1990, North-Holland, 0-444-89024-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|