Product Description: The third edition of Languages and Machines: An Introduction to the Theory of Computer Science provides readers with a mathematically sound presentation of the theory of computer science.  The theoretical concepts and associated mathematics are made accessible by a "learn as you go" approach that develops an intuitive understanding of the concepts through numerous examples and illustrations...read more

Product Description: Communication and Concurrency develops a general calculus of concurrent programming from first principles. The book provides an understanding of concurrency through a very small number of primitive ideas and illustrates how these ideas apply to hardware and software, to specification and implementation...read more

Product Description: This book is a thoroughly revised edition of a monograph that presents an approach to the design and implementation of sequential programming languages based on the relationship between lambda-calculus and category theory. The foundations of a new "categorical" combinatory logic are laid down...read more

Product Description: Software engineering techniques are becoming more and more important in the development of high quality software. The use of formal methods to specify and verify the software is now widespread. This book provides a new approach to learning formal methods...read more

Product Description: A comprehensive study and exposition on the benefits of graph and term rewriting. Contains such theoretical advances as a single pushout categorical model of graph rewriting, a new theory of transfinite term rewriting and an abstract interpretation for term graph rewriting...read more

Product Description: This book investigates two major systems: firstly, co-operating distributed grammar systems, where the grammars work on one common sequential form and the co-operation is realized by the control of the sequence of active grammars; secondly, parallel communicating grammar systems, where each grammar works on its own sequential form and co-operation is done by means of communicating between grammars...read more

Product Description: This volume presents the proceedings of the Second International Colloquium on Grammatical Inference (ICGI-94), held in Alicante, Spain in September 1994. Besides 25 research papers carefully selected and refereed by the program committee, the book contains a survey by E...read more

Product Description: The theory of traces employs techniques and tackles problems from quite diverse areas which include formal language theory, combinatorics, graph theory, algebra, logic, and the theory of concurrent systems. In all these areas the theory of traces has led to interesting problems and significant results...read more

Product Description: This book presents two major research results on the fast implementation of graph rewriting systems (GRS). First, it explores the class of so-called UBS-GRS, where the complexity of a rewriting step is linear instead of NP, showing for example that visual programming is possible by UBS graph rewriting...read more

Product Description: Written with the beginning user in mind. This book builds mathematical sophistication through an example rich presentation.

Product Description: The contributions of the proceedings cover almost all parts of the theory of formal languages from pure theoretical investigations to applications to programming languages. Main topics are combinatorial properties of words, sequences of words and sets of words, grammar systems and grammars with controlled derivations, generation of higher-dimensional objects and graphs, trace languages, numerical parameters of automata and languages...read more (view table of contents, read Amazon.com's description)

Product Description: Parsing with Principles and Classes of Information presents a parser based on current principle-based linguistic theories for English. It argues that differences in the kind of information being computed, whether lexical, structural or syntactic, play a crucial role in the mapping from grammatical theory to parsing algorithms...read more (view table of contents, read Amazon.com's description)

Product Description: Parsing technologies are concerned with the automatic decomposition of complex structures into their constituent parts, with structures in formal or natural languages as their main, but certainly not their only, domain of application...read more

Product Description: This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs...read more

Product Description: The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification...read more (view table of contents, read Amazon.com's description)

Product Description: Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then the list of areas which have interacted with the development of graph grammars has grown quite impressively...read more (view table of contents, read Amazon.com's description)

Product Description: Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research report presents results from the Esprit project FORMAT (formal methods in hardware verification) which involved the collaboration of the enterprises Siemens, Italtel, Telefonica I+D, TGI, and AHL, the research institute OFFIS, and the universities of Madrid and Passau...read more (view table of contents, read Amazon.com's description)

Product Description: This first volume of the Handbook of Formal Languages gives a comprehensive authoritative exposition on the core of language theory. Grammars, codes, power series, L systems, and combinatorics on words are all discussed in a thorough, yet self-contained manner...read more (view table of contents, read Amazon.com's description)

Product Description: This second volume of the Handbook of Formal Languages contains the most fundamental applications of language theory. Various aspects of linguistics and parsing, both natural and programming languages, symbolic manipulation, and pattern matching are discussed...read more (view table of contents, read Amazon.com's description)

Product Description: This book presents a collection of refereed papers on formal language theory arranged for the occasion of the 50th birthday of Jürgen Dassow, who has made a significant contribution to the areas of regulated rewriting and grammar systems...read more (view table of contents, read Amazon.com's description)

Product Description: This third volume of the Handbook of Formal Languages discusses language theory beyond linear or string models: trees, graphs, grids, pictures, computer graphics. Many chapters offer an authoritative self-contained exposition of an entire area...read more

Product Description: This book constitutes the refereed proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP '97, held in Bologna, Italy, in July 1997. ICALP '97 celebrated the 25th anniversary of the European Association for Theoretical Computer Science (EATCS), which has sponsored the ICALP meetings since 1972...read more

Product Description: Marcus Contextual Grammars is the first monograph to present a class of grammars introduced about three decades ago, based on the fundamental linguistic phenomenon of strings-contexts interplay (selection). Most of the theoretical results obtained so far about the many variants of contextual grammars are presented with emphasis on classes of questions with relevance for applications in the study of natural language syntax: generative powers, descriptive and computational complexity, automata recognition, semilinearity, structure of the generated strings, ambiguity, regulated rewriting, etc...read more (view table of contents, read Amazon.com's description)

Product Description: This volume provides an invaluable companion to Proof in VDM: A Practitioner's Guide. Using the proof theory presented in that volume, it examines a variety of realistic case studies which illustrate different aspects of the use of proof in formal development...read more (view table of contents, read Amazon.com's description)