Sökt på: algebra
Vi gjorde istället en sökning på titeln algebra vilket gav totalt 5 träffar
Initial Algebras and Terminal Coalgebras
Providing an in-depth treatment of an exciting research area, this text's central topics are initial algebras and terminal coalgebras, primary objects of study in all areas of …
Applications of Process Algebra
This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using …
Process Algebra: Equational Theories of Communicating Processes
Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the …
Algebraic Specification of Communication Protocols
Modern computer networks now circle the world, but the transmission of information between them depends on the many different protocols that define the behaviour of the sender and …
Introduction to Coalgebra
The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of …