msm@comp.lancs.ac.uk (Mark S Madsen) (05/02/91)
(Whatever happened to the line eater? Don't you all miss it? :-) Greetings all. I apologise for posting this to the net, but I have tried repeatedly to reply by mail. So, Antonio, if you are out there and still reading the net, try to email me directly so that I can find out what your path is from here. In comp.specification, Antonio writes: >I have to make a report on LOTOS, but i don't >consider i have enough material to do it. We >don't have the original reference to LOTOS >(ISO/DP 8807, march 1987). > >Do you know of any bibliography regarding this >specification language? i'd appreciate any you >can send me, specially if they refer to IEEE/ACM >articles. > >A summary of the bibliography and/or the report >will be summited if you are interested in them. > >Thanks in advance. >Antonio Eloin Rodriguez Acosta >pl530191@mtecv2.mty.itesm.mx Hi, we are working on timing in specification languages here, and so we possess a lot of references to LOTOS papers and reports. I can probably find some of them in time (unfortunately, everyone else in my department likes Apple Macs, so that's where all the stuff is), but the fundamentals are the standard ISO 8807 and the tutorial paper by Ed Brinksma and Tommaso Bolognesi, which contains further references. T Bolognesi and E Brinksma, "Introduction to the ISO specification language LOTOS", Computer Networks and ISDN Systems 14 (1987) 25-59 Hope this helps. If you want to know more, I will be happy to dig further for you. I would, anyway, be interested to receive a copy of any bibliography on the topic which you end up putting together. Regards, Mark BTW, can anybody tell me Ed Brinksma's email address? (Yes, I know it's on the paper I referenced above, but it's not legible on my copy :-( ) -- ______________________________________________________________________ Mark S Madsen +44-524-65201x3819 msm@comp.lancs.ac.uk Department of Computing, Lancaster University, LA1 4YR, UK ______________________________________________________________________ -- ______________________________________________________________________ Mark S Madsen +44-524-65201x3819 msm@comp.lancs.ac.uk Department of Computing, Lancaster University, LA1 4YR, UK ______________________________________________________________________
schot@cs.utwente.nl (Jeroen Schot) (05/06/91)
BTW, can anybody tell me Ed Brinksma's email address? (Yes, I know it's on the paper I referenced above, but it's not legible on my copy :-( )? Yes, the e-mail address is: brinksma@cs.utwente.nl Jeroen Schot University of Twente P.O. Box 217 7500 AE Enschede the Netherlands e-mail: schot@cs.utwente.nl phone: +31.53.893843 fax: +31.53.333815