HDTenEightyP/NetNews huggingface dataset:
From: Zhen.Liu@sophia.inria.fr.inria.fr (Zhen Liu)
Newsgroups: fnet.seminaires
Subject: S. Foss, Jackson-type queueing networks
Date: 9 Dec 92 18:35:05 GMT
Distribution: fnet
Jour: 11/12/92
Lieu: INRIA Sophia-Antipolis



                                SEMINAIRE
                Modelisation et Evaluation de Performances

                        INRIA Centre Sophia-Antipolis

                            Salle du Conseil


Vendredi 11 decembre 1992, 10:00: 

	Serguei FOSS (Novossibirsk University)
	``Monotone and ergodic properties of Jackson-type queueing networks.''


Vendredi 18 decembre 1992, 10:00: 

	Serguei FOSS (Novossibirsk University)
	``Ergodic properties of stochastic recursive sequences.''





Contact:

Zhen LIU,
INRIA Centre Sophia Antipolis,
2004 Route des Lucioles,
F-06560 Valbonne.

Tel: 93 65 78 69 
E-mail: liu@sophia.inria.fr
From: jmi@columbo.inria.fr (Janet Bertot)
Newsgroups: fnet.seminaires
Subject: F. Moller, Bisimulation equivalence on basic parallel processes
Date: 9 Dec 92 18:37:09 GMT
Distribution: fnet
Organization: INRIA Sophia Antipolis, France
Jour: 14/12/92
Lieu: INRIA Sophia-Antipolis



Semantics and Programming Seminar / Seminaire Semantique & Programmation
----------------------------------/-------------------------------------

		Monday, 14 December 1992, 14h, R.E. 006 (grande salle)

				Faron Moller
		Laboratory for Foundations of Computer Science
			    University of Edinburgh

	       "Decomposability, Decidability and Axiomatisability of
		Bisimulation Equivalence on Basic Parallel Processes"

Recently, questions regarding the decidability of various classes of 
infinite-state systems have been studied.  Certainly for context-free 
processes, language equivalence is undecidable.  However, of greater interest 
in process theory are questions regarding stronger notions of equivalence 
which take into account for instance the notions of deadlock, livelock, or 
causality.  It has been demonstrated that all of the standard behavioural 
equivalences besides bisimilarity are undecidable over context-free processes.
However it has also been shown that bisimilarity is in fact decidable over 
this class of infinite-state processes.

The class of context-free processes is provided by a standard process calculus
which admits of a general sequencing operator, along with atomic actions and 
choice.  However of greater importance in process theory is the inclusion of
some form of parallel combinator.  Little work it seems has been spent on
exploring the decidability of calculi which include parallel combinators within
recursive definitions.  Certainly with very little else you can express the 
full power of Turing machines along with their undecidable problems.

In this talk we explore a calculus which includes a simple parallel combinator.
We show that in the case of normed processes (processes which may terminate in
a finite number of steps at any point during their executions) and also for 
live processes (processes which can never perform an infinite number of 
identical actions in succession uninterrupted), we can prove decidability with
respect to bisimulation equivalence.

In order to obtain our results, we require cancellation laws for normed and 
live processes.  Such a law has been presented for live processes, and we 
present here the corresponding law for normed processes by proving a unique
decomposition result for such processes.

The technique which we use to provide the decidability result is based on the
use of tableau systems.  From the rules we present for generating our tableaux
we can extract sound and complete axiomatisations for normed and live 
processes.

----------------------------------/-------------------------------------
From: Didier.Remy@inria.fr
Newsgroups: fnet.seminaires
Subject: T. Stroup, Newtonian arbiters cannot be proven correct
Date: 9 Dec 92 18:37:37 GMT
Reply-To: Didier.Remy@inria.fr
Distribution: fnet
Organization: INRIA, BP 105, F-78153 Le Chesnay Cedex
Jour: 18/12/92
Lieu: INRIA Rocquencourt


                                                
                             S E M I N A I R E

        ___    _     ___    _          ____   __   ___             _____   
       /   |  / |   /   |  / |        /     /   | /   |  /|  /|   /      /  
      /___/  /__|  /___/  /__|   &   /---  /   / /___/  / |_/ |  /---   /   
     /      /   | /   |  /   |      /      \__/ /   |  /      | /____  /___ 

                          I N R I A - Rocquencourt, 
                    Salle de confe'rence du batiment 11


                        Vendredi 18 decembre, 10h30


                               -------------
                                Terry Stroup
                               -------------

                            LFCS, Edinburgh, UK
                                      

                ===========================================
                Newtonian Arbiters Cannot be Proven Correct
                ===========================================

           (Joint work with Michael Mendler, U. of Erlangen, RFA)


  Computing hardware is    designed by refining  an  abstract specification
  through various lower  levels of  abstraction to  arrive  at a transistor
  layout  implemented in a   physical medium.  Formalizing the  refinements
  ---one task of   the  mathematical semantics of  computation---  involves
  proving  that the  device described  at   each level  of abstraction does
  indeed behave as prescribed by the description  at the next higher level.
  One obstacle to this goal  that has long  been recognized is that certain
  classes of behaviors can be physically realized  only approximately.  The
  notorious problem of metastable   operation precludes, for  example,  the
  realization  on classical principles of  flipflops that  react in bounded
  time to arbitrary input signals.

  The  literature  suggests that   the difficulty  lies ultimately  in  the
  specification's  requiring that the   realizing device react  properly in
  bounded  time.   We   show, however,    that   a simple   time-un-bounded
  synchronization problem, namely mutual exclusion by  means of an arbiter,
  cannot   be solved with    perfect   reliability using  continuous,  i.e.
  Newtonian, physical phenomena.   In  particular, for any  physical device
  operating  on Newtonian  principles  that  satisfies specific assumptions
  concerning an arbiter's io behavior there always exist competing requests
  to which it reacts by granting them all.
From: jmi@columbo.inria.fr (Janet Bertot)
Newsgroups: fnet.seminaires
Subject: R. Cleaveland, Model checking in the modal mu-calculus
Date: 9 Dec 92 18:36:39 GMT
Distribution: fnet
Organization: INRIA Sophia Antipolis, France
Jour: 17/12/92
Lieu: INRIA Sophia-Antipolis


Semantics and Programming Seminar / Seminaire Semantique & Programmation
----------------------------------/-------------------------------------

		Thursday, 17 December 1992, 14h, salle de conseil

                               Rance Cleaveland
                        Department of Computer Science
                        North Carolina State University
                               Raleigh, NC, USA


                    "Model Checking in the Modal Mu-Calculus"
                                       


The modal mu-calculus is a very expressive modal logic that provides
fixed-point constructs for defining formulas.  In a certain sense it may be
viewed as the "assembly language" of automatic verification for finite-state
systems, since different verification approaches may be efficiently reduced to
determining whether a system satisfies a certain mu-calculus formula.  This
talk surveys recent results obtained by the speaker and others on efficient
algorithms for "model checking" in this logic ---i.e., for checking whether a
given finite-state system satisfies a given formula.  No previous background in
the mu-calculus will be assumed, although a general familiarity with fixed
points would be useful.


----------------------------------/-------------------------------------
From: ciccoli@rapido.inria.fr (Marie-Claude Ciccoli)
Newsgroups: fnet.seminaires
Subject: M.-C. Ciccoli, Calcul d'ecoulements hypersoniques reactifs [these]
Date: 11 Dec 92 12:58:04 GMT
Distribution: fnet
Organization: INRIA, Sophia-Antipolis (Fr)
Jour: 17/12/92
Lieu: INRIA Sophia-Antipolis



     Trois soutenances de these en deux jours chez SINUS !!!

          Jeudi 17 decembre   10 h   salle RE 006
          Marie-Claude Ciccoli :
          ``Schemas numeriques efficaces pour le calcul d'ecoulements
            hypersoniques reactifs''

          Un pot aura lieu vers 16 h.

          Jeudi 17 decembre   14 h 30   salle RE 006
          Eric Morano :
          ``Resolution des equations d'Euler par une methode multigrille
            stationnaire''        
 
           Le pot suivra vers 16 h.

           Vendredi 18 Decembre   14 h 30   salle RE 006
           Boniface Nkonga :
           ``Developpement de methodes numeriques pour les ecoulements
             tridimensionnels reactifs dans un domaine deformable''

           Le pot suivra vers 16 h.
Xref: sparky fnet.followup:12 resif.admin:79 soc.culture.french:9302 frmug.general:70
From: archer@frmug.fr.mugnet.org (Vincent Archer)
Newsgroups: fnet.followup,resif.admin,soc.culture.french,fdn.admin,frmug.general,gna.admin
Subject: Re: Une hierarchie de news pour la communaute francophone ?
Date: 20 Dec 92 10:48:40 GMT
Organization: Minix User Group France

In article <1gusggINNdag@grasp1.univ-lyon1.fr> Christophe.Wolfhugel@grasp.insa-lyon.fr (Christophe Wolfhugel) writes:
>Le passage en jeux de caracteres 8 bits pose un certain nombre de problemes.

Je suis d'accord.

>Pour commencer tous les logiciels ne sont pas 8 bits ni les machines. Il y

Tu m'indique une machine dont les bytes (je ne dit pas octets!) font
autre chose que 8 bits SVP? Depuis les Unisys et quelques antiques Bulls,
la derniere machine a appliquer cette politique fut un clone de l'Apple][
appele ITT (?).

Big :-) , bien sur!

Pour ce qui est des logiciels, il y a trois problemes:

1> Le systeme de transport des news. Seul B-News n'est pas 8-bit
   tous les autres transportent des messages normaux. Il m'est
   deja arrive de recevoir des articles avec des noms d'users et
   du message en ISO Latin-1. C'est une excellente occasion de
   debusquer les chemins qui posent probleme. C'est comme ca que
   les allemands ont procede.
2> Le soft de lecture des news. Lui aussi doit etre 8-bit.
   C'est plus delicat. Mais il faut bien pousser a l'homogeneisation.
   Pour les PC sous Windows, ca ne pose aucun probleme, Windows
   supporte les jeux ISO! Pour les autres, aie... Va falloir bosser
   un peu.
3> Les editeurs pour composer les messages. J'en cause, parce que
   c'est le dernier probleme sur j'achoppe. Mon emulateur de terminal
   refuse le 8eme bit. Il va passer a la casserole un des ces jours,
   d'ailleurs.

>Est-ce bien raisonnable ?   Peut-etre encore un peu trop.  Lorsque les
>systemes seront enfin en ISO-8859-1 et exploitables OU que les outils

Et lorsque les poules auront des dents... Ce qui, au passage est le cas,
des rigolos dans un labo se sont amuse il y a 5-6 ans a greffer des
bourgeons de dents a des poussins, pour voir si ca arriverait a maturite.
Ce qui fut le cas. Donc, notons que les poules ont deja des dents.

>de base permettrons de faire des transformations de jeux de caracteres
>(les finlandais utilisent un autre jeu), la oui les news en 8 bits
>seront exploitables.

Bon, au boulot. Je vous fait les filtres qui vont bien? MIME, ca vous
dit quelque chose? (je plaisante, j'ai pas le temps de faire tous les
filtres qui vont bien)
-- 
	Vincent Archer			Email:	archer@frmug.fr.mugnet.org
Monday is an awful way to spend one seventh of your life.
Xref: sparky fnet.followup:11 resif.admin:78 soc.culture.french:9296 frmug.general:69
From: archer@frmug.fr.mugnet.org (Vincent Archer)
Newsgroups: fnet.followup,resif.admin,soc.culture.french,fdn.admin,frmug.general,gna.admin
Subject: Re: Une hierarchie de news pour la communaute francophone ?
Date: 19 Dec 92 15:47:02 GMT
Organization: Minix User Group France

In article <berger.724693543@gram> berger@imag.fr (Gilles BERGER SABBATEL) writes:
>Question : est ce que l'utilisation de logiciels permettant
>l'utilisation de caracte`res accentue's (ISO-Latin-1, ou autres...) sera
>de rigueur pour les sites transportant la hie'rarchie francophone?  Ca
>serait quand me^me l'occasion de faire avancer ce dossier!  Il parait que

Voila une question qui est tres importante. En effet, et personellement,
j'execre la 'methode' qui consiste a mettre les lettres accentuees sous
la forme lettre-accent. Impossible de la traduire avec un soft adequat
(le "methode" au-dessus est-il methode ou methode avec accent?). Et
le resultat sans traitement est trop hideux a mes yeux pour que je suive
cette pratique. J'ai toujours ete partisant de la methode "overstrike"
qui consiste a mettre un accent, un backspace et la lettre. Sur imprimante
ca marche tres bien. Sur un soft approprie, ca traduit tout seul. Et sur
un soft bete, la lettre vient effacer l'accent et le resultat est lisible.
En plus, la meme methode permet de mettre du souligne et du gras dans un
texte ascii standard!

Sinon, utiliser le ISO-Latin-1 me parait un pas dans la bonne direction,
surtout pour une hierarchie distribuee dans une langue homogene (le francais).

>les allemands le font de'ja` sur leur re'seau national.  Mais il semble
>que les ame'ricains n'en voient gue`re l'inte're^t, et qu'ils trouvent
>que ca pose des tas de proble`mes...

Bien sur, eux se satisfont du 7bits sans probleme. Les difficultes
surviennent lors de clash entre les diverses fontes ISO-1. La proposition
d'utiliser du MIME est prometteuse, mais s'il faut attendre que cela se
generalise, nous n'aurons nos accents qu'en 95 ou plus tard encore :-)
-- 
	Vincent Archer			Email:	archer@frmug.fr.mugnet.org
Monday is an awful way to spend one seventh of your life.
Newsgroups: lou.sun
From: kwuug@tdkcs.waterloo.on.CA
Subject: KWUUG December meeting
Submit-To: kwuucp@xenitec.on.ca
Reply-To: kwuug@tdkcs.waterloo.on.CA
Organization: XeniTec Consulting Services, Kitchener, ON, Canada
Date: Mon, 14 Dec 1992 18:34:05 GMT


From: timk@tdkcs.waterloo.on.ca (Tim Kuehn)

Newsgroups: kw.general,ont.general,can.usrgroup
Subject: UPDATE Re: KW Unix User's Group December Meeting
Summary: 
Expires: 
Followup-To: 
Distribution: ont
Organization: TDK Consulting Services
Keywords: 

In article <1992Dec11.191336.14573@tdkcs.waterloo.on.ca> timk@tdkcs.waterloo.on.ca (Tim Kuehn) writes:
>The next meeting of the KW Unix User's Group will be held at 19:00 on 
>Wed, December 16 in Davis Center 1302 at the University of Waterloo.

However, I just found out the CTN Christmas party is the same night, 
so the KWUUG meeting's cancelled. Instead you are encouraged to attend 
the CTN Christmas party with the rest of us.  

See you at the party!

---------------------------------------------------------------------------
ITRC - Information Technology Research Centre

CTN - Computer Technology Network

1992 Christmas Party

Wednesday, Dec. 16, 1992
5:30 p.m. - 10 p.m.
Davis Centre Lounge
University of Waterloo
$10 per person includes cold buffet
cash bar

Please RSVP to:

Mary McColl
ITRC, Davis Centre
Universtiy of Waterloo
Waterloo, ON N2L 3G1

please enclose payment, by cheque, to ITRC, with your RSVP

For further information, please call 888-4540
or fax 885-1208
or e-mail memccoll@watmath.uwaterloo.ca

---------------------------------------------------------------------------

Thanks to Andy Toy for forwarding this information.

<<<----+---------+-----+--------------+-----+---------------------------+-->>>
    +   Tim Kuehn   +   TDK Consulting   +    (519)-888-0766
    +   <><         +   Services         +    timk@tdkcs.waterloo.on.ca 
<<<----+---------+-----+--------------+-----+---------------------------+-->>>
Newsgroups: kw.housing
From: skfhung@cayley.uwaterloo.ca (Sebastian Hung)
Subject: Jan - Apr 93 Sublet
Organization: University of Waterloo
Distribution: kw
Date: Sat, 12 Dec 1992 04:42:34 GMT


                           2 SINGLE ROOMS TO SUBLET
                               (JAN - APR 1993)
                                  *********

       Two furnished single rooms in a basement apartment is to be subletted
this winter. It's located at 450 Hazel (near Parkdale plaza) 

         **  $250/month (utilities included) per room (o.b.o.)
         **  very clean and quiet 
         **  furnished with bed and desk and bookshelf 
         **  basement apt, separate entrance  
         **  close to both universities
         **  20 mins walk to U of W and 15 mins to WLU 
         **  very close to grocery store (Parkdale Plaza)
         **  on bus-route
         **  to be shared with one other student
         **  non-smokers please

      If you are interested, please contact T.C. or Seb at 746-0633


         
         
      


Newsgroups: kw.housing
From: xltang@neumann.uwaterloo.ca (Xueli Tang)
Subject: Room For Rent
Organization: University of Waterloo
Distribution: kw
Date: Thu, 17 Dec 1992 20:42:34 GMT


I am posting this for a friend of mine. Please contact her directly if this
posting is of interest to you. Please don't reply to this account.

Mr. and Mrs. Fransiz are looking for a boarder starting Jan, 1993. They have
a room in the house for rent. It's furnished, $300/month, share Kitchen and
other facilities. It's close to the Univ. of Waterloo.

Their telephone No. is (519) 746-4259.


Newsgroups: kw.housing
From: tcchao@cayley.uwaterloo.ca (T.C. Chao)
Subject: Winter Sublet!
Organization: University of Waterloo
Distribution: kw
Date: Mon, 14 Dec 1992 20:21:29 GMT


                               ROOMS TO SUBLET
                               (JAN - APR 1993)
                                  *********

       Two furnished single rooms in a basement apartment is to be subletted
this winter. It's located at 450 Hazel (near Parkdale plaza) 

         **  $230/month per room (utilities included!) (o.b.o) 
         **  very clean and quiet 
         **  furnished with bed, desk and bookshelf 
         **  basement apt, separate entrance  
         **  living room, with TV (free cable) 
         **  close to both universities
         **  20 mins walk to U of W and 15 mins to WLU 
         **  close to grocery store (Parkdale Plaza)
         **  on bus-route
         **  parking available 
         **  to be shared with one other student
         **  non-smokers please

      If you are interested, please contact T.C. or Seb at 746-0633
       or email tcchao@descartes  or skfhung@descartes


         
         
      


Newsgroups: kw.housing
From: tcchao@cayley.uwaterloo.ca (T.C. Chao)
Subject: Winter Sublet
Organization: University of Waterloo
Distribution: kw
Date: Sat, 12 Dec 1992 19:37:01 GMT

                               ROOMS TO SUBLET
                               (JAN - APR 1993)
                                  *********

       Two furnished single rooms in a basement apartment is to be subletted
this winter. It's located at 450 Hazel (near Parkdale plaza) 

         **  $250/month per room (utilities included!) (o.b.o) 
         **  very clean and quiet 
         **  furnished with bed, desk and bookshelf 
         **  basement apt, separate entrance  
         **  living room, with TV (free cable) 
         **  close to both universities
         **  20 mins walk to U of W and 15 mins to WLU 
         **  close to grocery store (Parkdale Plaza)
         **  on bus-route
         **  parking available 
         **  to be shared with one other student
         **  non-smokers please

      If you are interested, please contact T.C. or Seb at 746-0633
       or email tcchao@descartes  or skfhung@descartes


         
         
      


Newsgroups: kw.housing
From: mcaeaste@neumann.uwaterloo.ca (Michael Easter)
Subject: *** Great Room for Rent ***
Originator: root@neumann.uwaterloo.ca
Organization: University of Waterloo
Date: Sat, 19 Dec 1992 18:14:35 GMT


Room in house for rent:

Description:

-- *Excellent* location. (located at 28 Beverley Street, near the corner of 
    Erb and Westmount.) 12 minute walk to UW, 15 minute walk to WLU, very 
    close to shopping plaza (Westmount Plaza), and close to Uptown Waterloo.

--  The room is furnished. The house has complete laundry facilities, a full
   kitchen with a dish washer, cable TV with a VCR. 

-- House-mates are wonderful. They are concerned about school, but also
   social and very friendly. A great atmosphere for doing work and having 
   someone to talk to afterwards.

Terms:

-- Rent is $300 a month (plus utilities), negotiable. 

-- Available in January 93 for 4 or 8 months. 

-- For more info, call Mike at 746-4378, or e-mail at mcaeaste@neumann.
 
Newsgroups: kw.housing
From: hsun@yoho.uwaterloo.ca (Huosheng Sun)
Subject: MSA for Rent
Originator: root@yoho.uwaterloo.ca
Organization: University of Waterloo
Date: Tue, 15 Dec 1992 06:16:29 GMT



                   ========================               
                     Room for Rent in MSA
                   ========================               

One single room in a two-bed room apt in MSA is available from Jan. 1993.

 +++  3 minutes to UW, 10 minutes to WLU 
 +++  very clean and quiet
 +++  furnished with bed, chair, shelf 
 +++  free cable
 +++  kitchen with fridges, stove
 +++  $245.00 per month, all utilities included (except phone)
 +++  non-smoking please

If you are interested, please call 747-4202 or reply to this account.


Merry Xmas

Huosheng
Newsgroups: kw.housing
From: hsun@yoho.uwaterloo.ca (Huosheng Sun)
Subject: Room available in MSA
Originator: root@yoho.uwaterloo.ca
Organization: University of Waterloo
Date: Thu, 17 Dec 1992 15:18:51 GMT



                   ========================               
                     Room for Rent in MSA
                   ========================               

One single room in a two-bed room apt in MSA is available from Jan. 1993.

 +++  3 minutes walk to UW, 10 minutes walk to WLU 
 +++  very clean and quiet
 +++  furnished with bed, chair, shelf 
 +++  free cable
 +++  kitchen with fridges, stove
 +++  $245.00 per month, all utilities included (except phone)
 +++  non-smoking please

If you are interested, please call 747-4202 or reply to this account.


Merry Xmas

Huosheng
Newsgroups: kw.housing,uw.forsale,kw.forsale,uw.general
From: muthu@sun14.vlsi.uwaterloo.ca (Muthukumar Kannappan)
Subject: Sublet  Jan-April
Organization: University of Waterloo
Distribution: ont
Date: Fri, 11 Dec 1992 19:05:46 GMT

Newsgroups: kw.housing
From: giguere@csg.uwaterloo.ca (Eric Giguere)
Subject: Townhouse to share for winter term
Organization: Computer Systems Group, University of Waterloo
Distribution: kw
Date: Mon, 14 Dec 1992 20:32:09 GMT

A friend and I are looking for a female to share a three-bedroom
townhouse on Beechwood Dr. near Erb St. & Erbsville Rd.  A car is a
must, but there's plenty of parking available (it's 5 min. from UW).
I also have a (friendly) dog.

The room will be available from Jan to April.  Rent is $225/month +
1/3 of utilities.  You could stay longer if you want, but my friend will
be moving out in the summer so I can't guarantee that the rent will
stay the same if it's just two of us sharing the place.

The townhouse is quite nice, comes with five appliances and a fireplace.
The bedroom is unfurnished, though we have a mattress you can use if you
don't have a bed.  The rest of the house is furnished.  If you want more
info, call 888-9218 after 6 and ask for Eric or Joan.

-- 
 Eric Giguere                                    giguere@csg.UWaterloo.CA
          So is Windows NT short for "Windows, NOT?"  
Newsgroups: kw.housing