The UofO LOTOS Research Group

Links Institutions around the world offer electronic services related to LOTOS, ODP and others. Here are the links to those that we are aware of. Let us know of others that should be added, or of those that should be changed.
Stirling University From Computing Science and Mathematics, Kenneth J. Turner's page of Research Activities offers a World-wide Environment for Learning LOTOS (WELL), with much varied topics.
Université de Liège The Research Unit in Networking (RUN) has a LOTOS page discussing LOTOS, ELOTOS, research activities on LOTOS at RUN and recent LOTOS-related RUN publications.
University of Sussex A discussion mailing list about datatypes in E-LOTOS has been set up at the University of Sussex. You may Send a Request to join in and/or consult the WWW Searchable Archive of the list.
Technical University of Madrid (UPM), Telematica dept. (DIT) The University of Madrid provides a home page on LOTOS, with pointers to bibliographies and a related WAIS, documents, tools, etc.
There is also an E-LOTOS page and a repository of the related Working Documents.
University of Twente The University of Twente provides a home page with Pointers to Various LOTOS Sources (papers, examples, tools), including one to LOTOS News.
An Index to All Issues of AMAST (Algebraic Methodology And Software Technology) newsletters is available on the WWW server, as well as a General Index of AMAST related topics.
INRIA Rhône-Alpes VASY (VAlidation of SYstems) presents CADP (Caesar/Aldebaran Development Package), dedicated to the efficient compilation, simulation, formal verification, and testing of descriptions written in the ISO language LOTOS.
Use Case Maps (UCM)
Carleton University The Department of Systems and Computer Engineering at Carleton University maintains the official site of UCM, prime source of news, discussions, papers, theses, tools, and various documentation concerning Use Case Maps.
Features Interactions
University of Strathclyde The Feature Interaction Group present their work, including information on the Feature Interactions in Multimedia Systems project which aims to determine if and where feature interactions are likely to occur in present and emerging multimedia services.
Formal Methods
University of Michigan Abstract State Machines.
University of Glasgow The Formal Methods and Theory Research Group of the Department of Computing Science at the University of Glasgow provides a home page.
Oxford University The Oxford University World-Wide Web Virtual Library Computing Software Engineering contains a home page about Formal Methods.
Formal Methods Europe FME is a European organization supported by the Commission of the European Union (via ESSI of the ESPRIT programme), with the mission of promoting and supporting the industrial use of formal methods for computer systems development.
NASA Langley Research Center The Assessment Technology Branch (ATB) has a Formal Methods Program.
Carnegie Mellon University The School of Computer Science offers information on Formal Methods - Model Checking.
SRI International The Computer Science Laboratory (CSL) has a page on Formal Methods and Dependable Systems.
UseNet Some newsgroups of UseNet may hold FDT-related topics. For instance, Comp.Specification and Comp.Theory are good prospects.
CNUCE Institute Visit the site of the Formal Methods In Concurrency (FMC) group.
INRIA The INRIA of Paris has a page dedicated to Pi-Calculus and the Calculi of Mobile Processes.
search engine search on Formal Methods by
3GPP A Global Initiative in coordination with ARIB, CWTS, ETSI, T1, TTA and TTC. Not to forget the corresponding FTP site with a section on GSM specifications.
The ATM Forum The ATM Forum is a worldwide organization, aimed at promoting ATM within the industry and the end user community.
University of Waterloo The Shoshin Web Server is at the Department of Computer Science of the University of Waterloo. Their main research interests are in management of distributed applications and systems, performance and quality of service in mobile computing environments, broadband systems and services in high-speed networks. They have links to research centres in mobile computing and ATM. A GSM Page is also available.
Indiana University The Cell Relay Retreat hosts the archives to the cell-relay mailing list, several other ATM-related mailing lists, and many other resources. This service is intended as a replacement for the Cell Relay Gopher.
Uppsala University Research topics at the Uppsala University (Sweden) include Feature Interaction, providing information on upcoming events, links to places working on the subject, bibliography and papers available on-line.
IEC The International Engineering Consortium offers Web ProForums that provide working knowledge of key information technology areas, such as PCS, IN, SS7, WIN, GSM and ATM.
UNIK Universtetsstudiene på Kjeller has a GSM-magazine on the WWW.
University of Montreal The "Teleinformatique" research group works in the areas of software engineering, distributed algorithms and communication protocols for OSI and high-speed networds, including topics like feature interactions, protocol design methods, executable formal specifications, test case selection and analysis of test cases and test results with respect to the specification.
University of Manitoba The Comprehensive Telecommunications Resource Web site is a telecom information page maintained by Prof. Blight from the Department of ECE at Manitoba. The information collection is semi-automated and periodically filtered to eliminate any potential stale links.
IFIP The International Federation for Information Processing.
The home page of IFIP TC6 (Communication Systems) contains, in particular, lists of workgroups and events. There is also IFIP TC6 WG6.1, Architecture and Protocols for Computer Networks
JAIN A set of JavaTM technology based APIs which enable the rapid development of Next Generation telecom products and services on the Java platform.
ITU International Telecommunication Union
TSACC/CCCNT The Telecommunications Standards Advisory Council of Canada Standards Information Service Web site is dedicated to standards in Information Technology and Telecommunications (IT&T). You will find not only Canadian sources of information, but also access to American and International sources available on the Internet.
ISO On-Line The International Organization for Standardization (ISO) offers an On-Line Service in English and in French).
Parlay APIs The Parlay Group is an open multi-vendor consortium formed to develop open technology-independent Application Programming Interfaces (APIs).
TINAC The Telecommunications Information Networking Architecture Consortium (TINAC) tackles research areas related to ODP and telephony applications.
University of Queensland The University of Queensland (DSTC) set up an RM-ODP Home Page. They also provide information on the ODP Trader. Topics covered by this service include trader description, trader tutorial, papers on trader, presentations on trader, people doing work with trader, ongoing trader research, trader related work, trader related events and trader standards.
On the same server, one can find the home page of the architectural semantics discussion group, dealing with issues related to RM-ODP, Part 4: Architectural Semantics. It contains presentations, tutorials, papers related to the subject, sample specifications, and the archive of the discussion.
Electronic Journal on Networks and Distributed Processing The Electronic Journal on Networks and Distributed Processing (EJNDP) is an international journal catering for all those involved in managing, designing or operating networking and distributed computing activities. It is published by the TASC (Téléinformatique et Analyse des Systèmes Communicants) laboratory, University of Pau, France, and is accessible via WWW and FTP.
CONCURRENCY A moderated CONCURRENCY FORUM discusses concurrent process theory. This includes operational and abstract semantics, specification, and verification of concurrent, distributed, reactive, real-time and hybrid systems (e.g. Trace theory, Pi-calculus, Concurrent proof nets and Linear Logic, Linear and Branching Temporal Logic, Concurrent Logic- and Constraint-Logic Programming).
SEWORLD SEWORLD is a mailing list provided as a service to the Software Engineering community, and is intended primarily for the dissemination of time-sensitive information relevant to the field of software engineering research.