LOTOS FTP Server
LOTOS-NA Mailing List Messages of 1995
This is the list of the messages sent to the LOTOS-NA Mailing List in 1995.
The file 1995.mbox.Z is a concatenation of all
messages (i.e. mbox format) compressed.
- Reminder of CFP
Marius Hancu
Wed, 4 Jan 1995 01:25:54 -0500
- Reminder of CFP
Marius Hancu
Wed, 4 Jan 1995 01:32:41 -0500
- a paper
"Jose A. Manas"
Thu, 05 Jan 1995 10:24:24 +0100
- Specification Styles
Nelson Souto Rosa
Wed, 28 Dec 1994 11:05:33 -0300 (EST)
- Re: a paper
latella@sting.cnuce.cnr.it (Diego Latella)
Sat, 7 Jan 95 08:58:06 +0100
- bibliography
"Jose A. Manas"
Mon, 09 Jan 1995 10:57:10 +0100
- Re: Specification Styles
Carlos Sanchez Tarnawiecki
Wed, 11 Jan 1995 12:47:00 +0100
- White papers for CHISSA
Jacques Sincennes
Mon, 16 Jan 95 17:54:39 EST
- Web page available
Luigi Logrippo
Tue, 17 Jan 95 9:35:06 EST
- request of references
pat@verdolo.cnuce.cnr.it (Fabio Paterno)
Thu, 19 Jan 95 10:29:35 +0100
- WIFT Program/Registration Information
Luigi Logrippo
Wed, 18 Jan 95 13:04:43 EST
- TOPO 3R6
"Jose A. Manas"
Mon, 23 Jan 1995 18:36:21 +0100
- Re: request of references
"Prof K J Turner (Staff)"
Mon, 23 Jan 1995 17:40:43 GMT
- Re: request of references
mirella@inf.ufsc.br (Mirella Secchi Moretti Annoni Notari)
Mon, 23 Jan 95 15:50:36 EDT
- Re: request of references
"Jose A. Manas"
Mon, 23 Jan 1995 19:15:07 +0100
- Protocols
rekhag@cs.uidaho.edu
Tue, 24 Jan 1995 12:50:45 -0800 (PST)
- protocol specification using LOTOS
Gaurav Rampal
Wed, 25 Jan 95 11:10:04 EST
- Re: request of references
Panos.Markopoulos@dcs.qmw.ac.uk
Tue, 24 Jan 95 11:40:14 GMT
- Re: request of references
lagemaat@cs.utwente.nl (Jeroen van de Lagemaat)
Tue, 24 Jan 1995 14:39:30 +0100
- Re: Digest - Thu Jan 26
Ahmed Khoumsi
Thu, 26 Jan 1995 09:10:20 -0500
- Re: request of references
mirella@inf.ufsc.br (Mirella Secchi Moretti Annoni Notari)
Thu, 26 Jan 95 13:34:32 EDT
- Re: request of references
lagemaat@cs.utwente.nl (Jeroen van de Lagemaat)
Fri, 27 Jan 1995 12:36:11 +0100
- Re: request of references
Juan Carlos Yelmo Garcia
Fri, 27 Jan 1995 18:16:57 +0100
- Survey report
Surekha Ghantasala
Fri, 27 Jan 1995 11:07:05 -0800 (PST)
- LOTOS tools
christoph welte
Wed, 1 Feb 1995 17:18:56 +0100 (MET)
- Re: LOTOS tools
lagemaat@cs.utwente.nl (Jeroen van de Lagemaat)
Thu, 02 Feb 1995 09:45:28 +0100
- Re: LOTOS tools
"Jose A. Manas"
Thu, 02 Feb 1995 16:22:56 +0100
- LOTOS tools
christoph welte
Thu, 2 Feb 1995 14:30:52 +0100 (MET)
- Re: LOTOS tools
Eric Madelaine
Fri, 03 Feb 1995 16:38:46 +0100
- transport service ISO standard
milica@cat.syr.edu (Milica Barjaktarovic)
Thu, 9 Feb 95 16:42:56 EST
- BNF grammar of LOTOS
mesmaa@di.uminho.pt (Manuela Alexandrina David de Aguiar)
Wed, 15 Feb 1995 10:06:35 +0100
- Re: BNF grammar of LOTOS
"Jose A. Manas"
Wed, 15 Feb 1995 16:32:24 +0100
- Re: BNF grammar of LOTOS
lagemaat@cs.utwente.nl (Jeroen van de Lagemaat)
Wed, 15 Feb 1995 16:03:24 +0100
- LOLA 3R6 release announcement
"David Larrabeiti L."
Wed, 15 Feb 1995 19:47:07 +0100
- CHISSA Update
Jim Graham
Tue, 28 Feb 95 07:16:42 EST
- Lotos verification tool
Andreas Vogel
Wed, 8 Mar 1995 08:06:36 +1000
- Re: Lotos verification tool
mirella@inf.ufsc.br (Mirella Secchi Moretti Annoni Notari)
Thu, 9 Mar 95 17:36:15 EST
- Paris, IWPTS'95
*** Toma ***
Wed, 15 Mar 1995 15:22:42 +0100
- Re: request of references
madhu@sybase.com (G.S. Madhusudan)
Mon, 20 Mar 95 12:38:13 PST
- AMAST'95 Preliminary Programme available
scollo@cs.utwente.nl (Pippo Scollo)
Mon, 20 Mar 1995 16:51:05 +0100
- Re: request of references
"Prof K J Turner (Staff)"
Tue, 21 Mar 1995 11:55:12 GMT
- Lotos and CSCW: ask for information
Christophe.Loge@masi.ibp.fr (Christophe Loge)
Tue, 21 Mar 1995 16:16:36 +0100
- Re: request of references
mirella@inf.ufsc.br (Mirella Secchi Moretti Annoni Notari)
Tue, 21 Mar 95 13:45:06 EST
- Formalizing the TCP
Leo Marcus
Tue, 21 Mar 1995 15:47:07 -0800
- Formalizing the TCP
shankar@cs.UMD.EDU (A. Udaya Shankar)
Thu, 23 Mar 1995 10:44:45 -0500
- Re: Digest - Thu Mar 23
Peng Min
Thu, 23 Mar 1995 22:37:52 -0500 (EST)
- IWPTS'95
*** Toma ***
Fri, 31 Mar 1995 15:47:23 +0200
- FORTE'95 Call for Papers
ouimet@IRO.UMontreal.CA (Daniel Ouimet)
Fri, 7 Apr 1995 17:10:58 -0400
- LOTOS verification tools
milica@cat.syr.edu (Milica Barjaktarovic)
Thu, 13 Apr 95 12:04:05 EDT
- PSTV'95 Program, Information and Registration
"Piotr Dembinski"
Wed, 19 Apr 95 10:51:36 +0100
- lnews.tex.shar
"Prof K J Turner (Staff)"
Mon, 24 Apr 1995 12:04:35 +0100
- Re: LOTOS verification tools
"B." Stepien
Tue, 25 Apr 1995 04:19:51 +0200 (MET DST)
- lnews.ps.shar.Z.uu (fwd)
Luigi Logrippo
Tue, 25 Apr 95 9:57:48 EDT
- LOTOS News Distribution Problems
"Prof K J Turner (Staff)"
Tue, 25 Apr 1995 15:52:16 +0100
- Re: LOTOS verification tools
Hubert Garavel
Wed, 19 Apr 1995 10:42:11 +0200
- CHISSA Meeting Committee
Jim Graham
Fri, 28 Apr 95 11:40:15 EDT
- Information relating to the AMAST newsletter
scollo@cs.utwente.nl (Pippo Scollo)
Tue, 2 May 1995 00:08:43 +0200
- Re: LOTOS verification tools
Eric Madelaine
Fri, 05 May 1995 14:17:09 +0200
- Help
pretty@mmlab.snu.ac.kr (Kim DG)
Mon, 15 May 95 18:54:09 KDT
- 4th Int'l WS on Quality of Service
Andreas Vogel
Mon, 29 May 1995 17:16:03 +1000
- Formal Methods for Open Object-based Distributed Systems
"Jose A. Manas"
Tue, 06 Jun 1995 12:31:09 +0200
- LOTOS specs of the OSI Session Layer
milica@cat.syr.edu (Milica Barjaktarovic)
Wed, 7 Jun 95 09:25:56 EDT
- Re: LOTOS specs of the OSI Session Layer
"Prof K J Turner (Staff)"
Thu, 8 Jun 1995 12:43:59 +0100
- HPCS'95 preliminary program
bonello@crim.ca (Christophe Bonello)
Sat, 10 Jun 1995 16:09:18 -0400
bonello@crim.ca (Christophe Bonello)
Sat, 10 Jun 1995 16:38:28 -0400
- CFP: PROMS 95
Thomas Auer
Thu, 22 Jun 1995 11:44:20 +0200
- Call For Papers - Methods Integration Workshop
Lesley Semmens
Fri, 23 Jun 1995 10:44:34 +0000 (GMT)
- HPCS'95 final program
Jean-Michel ROQUE
Tue, 27 Jun 1995 21:45:19 -0400
- HPCS'95 final program
Jean-Michel ROQUE
Wed, 28 Jun 1995 00:17:03 -0400
- 8th IFIP International Workshop
Ana Rosa Cavalli (LOR-MOTP)
Fri, 7 Jul 1995 12:14:11 +0200
- First AMAST Workshop on Language Processing
scollo@cs.utwente.nl (Pippo Scollo)
Mon, 10 Jul 1995 17:35:09 +0200
- AMAST'96 Call for Papers
scollo@cs.utwente.nl (Pippo Scollo)
Tue, 25 Jul 1995 22:44:29 +0200
- FORTE'95
hr@zurich.ibm.com
Tue, 25 Jul 95 08:18:28 SET
- draft AMAST Links 02 06 (ToC-only)
scollo@cs.utwente.nl (Pippo Scollo)
Tue, 1 Aug 1995 21:33:26 +0200
- FORTE'95 Call for demo and poster
ouimet@IRO.UMontreal.CA (Daniel Ouimet)
Wed, 9 Aug 1995 11:26:09 -0400
- computation in maths: AXIOM
mas010@bangor.ac.uk (Prof R. Brown)
Wed, 16 Aug 1995 14:21:11 +0100
- Contacts with Architectural Semantics group
Luigi Logrippo
Mon, 14 Aug 95 9:58:36 EDT
- FORTE'95:Call for demo and posters
ouimet@IRO.UMontreal.CA (Daniel Ouimet)
Thu, 17 Aug 1995 14:56:10 -0400
- Call for Contributions
sen@srdc.metu.edu.tr (Alper Sen)
Mon, 28 Aug 1995 12:14:50 +0400 (GMT+3:00)
- demo to FORTE'95, still 1 week to register
ouimet@IRO.UMontreal.CA (Daniel Ouimet)
Tue, 12 Sep 1995 13:59:28 -0400
- demo to FORTE'95, still 1 week to register
ouimet@IRO.UMontreal.CA (Daniel Ouimet)
Tue, 12 Sep 1995 13:59:28 -0400
- Topo and G-LOTOS
Arne-Kristian Groven
Mon, 11 Sep 95 11:38:08 +0200
- CFIP'96 Call for papers
ouimet@IRO.UMontreal.CA (Daniel Ouimet)
Thu, 14 Sep 1995 09:43:34 -0400
- Third AMAST International Workshop
Dan Ionescu
Tue, 12 Sep 1995 11:07:04 -0500
- FORTE'95 Final Program
ouimet@IRO.UMontreal.CA (Daniel Ouimet)
Thu, 14 Sep 1995 16:47:49 -0400
- Re: request of references
t.bolognesi@cnuce.cnr.it (Tommaso Bolognesi)
Wed, 20 Sep 1995 16:06:36 -0600
- Lotos under Linux
Yves.Dumond@univ-savoie.fr (Yves Dumond)
Mon, 23 Oct 1995 17:31:31 +0100
- Re: Lotos under Linux
"Jose A. Manas"
Tue, 24 Oct 1995 12:34:00 +0100
- AMAST Third Workshop on Real-Time Systems
Dan Ionescu
Thu, 2 Nov 1995 17:53:55 -0500
- FMOODS'96 final call for papers
Elie Najm
Sat, 11 Nov 95 8:01:52 MET
- AMiLP'95 Call for Participation (short version)
scollo@cs.utwente.nl (Pippo Scollo)
Wed, 22 Nov 1995 23:39:58 +0100
- AMAST'96 Call for Systems Demonstrations
scollo@cs.utwente.nl (Pippo Scollo)
Wed, 29 Nov 1995 00:54:25 +0100
- FM Tools database
k.j.turner@cs.stir.ac.uk
Thu, 30 Nov 1995 14:16:03 +0000 (GMT)
- CFIP'96 Call for papers (deadline Jan. 30)
ouimet@IRO.UMontreal.CA (Daniel Ouimet)
Tue, 12 Dec 1995 09:56:47 -0500
- Contribution from UPM to E-LOTOS
Gualberto Rabay Filho
Tue, 19 Dec 1995 16:34:39 +0100
- XTP-Specification
henke@wotan.cs.Uni-Magdeburg.DE (Ralf Henke)
Tue, 12 Dec 1995 08:20:30 +0100 (MEZ)
- Actual LOTOS Activities
"Christoph Welte"
Wed, 20 Dec 1995 14:36:25 +0000
Go 
Help on 
owner-lotos-na@csi.uottawa.ca