This NATO volume presents a selection of leading research aimed at giving a foundation for combining logic and algebra for the purpose of specification under the aspects of automated deduction, proving techniques, concurrency and logic, abstract data types and operational semantics, and constructive methods.

Contains the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. This title discusses tools supporting the design of petri nets as well as their modification and analysis. It covers the relationship of petri nets to other concurrency models. It presents the results in the application and theory of petri nets.

Diese dritte, vollstandig aktualisierte Auflage des bewahrten Studien- und Forschungsfuhrers, der in Zusammenarbeit mit der Gesellschaft fur Informatik, dem Fakultatentag Informatik und der Hochschulrektorenkonferenz herausgegeben wird, informiert erstmals auch uber das Informatik-Studium in den neuen Bundeslandern. Das Buch stellt das Hauptfachstudium Informatik an Universitaten dar und gibt eine detaillierte Ubersicht uber die Studienplane der einzelnen Hochschulen. Daruber hinaus beschreibt es Forschungsprojekte an Universitaten und ausseruniversitaren Forschungszentren und die...

Durch die Reihe der GI-Kongresse uber wissensbasierte Systeme wird eine grossere Offentlichkeit uber den Stand der Entwicklung sowohl in den Entwurfsmethoden und Konstruktionstechniken als auch in der industriellen Anwendung unterrichtet. Ein wichtiges Ziel ist dabei, auf das grosse Potential an Anwendungsmoglichkeiten hinzuweisen und intensivere Kooperation zwischen verschiedenen Gebieten anzuregen. Behandelt werden diesmal neben den Grundlagen, Entwicklungen und Anwendungen von Expertensystemen auch maschinelles Lernen, naturlichsprachliche Systeme und Konnektionismus. Einen grossen Raum...

Petri Nets represent a long and sustained effort- to develop concepts, theories and tools to aid in design and analysis of concurrent systems. They are used in many areas of computer science including software engineering, data base and in- formation systems, computer architecture and operating systems, communication protocols and computer networks, process control, and socio-technical systems such as office communication and man-machine interaction. Quite substantial theory has been developed for Petri Nets. It reflects all major problem areas of concurrent distributed systems and covers...

For some years, specification of software and hardware systems has been influenced not only by algebraic methods but also by new developments in logic. These new developments in logic are partly based on the use of algorithmic techniques in deduction and proving methods, but are alsodue to new theoretical advances, to a great extent stimulated by computer science, which have led to new types of logic and new logical calculi. The new techniques, methods and tools from logic, combined with algebra-based ones, offer very powerful and useful tools for the computer scientist, which may soon become...