PAFESD: Process Algebras for Electronic System Design - Process Algebraic Specification and Analysis of Electronic System Design

This book provides an overview of how process algebras can be applied to the specification and analysis of electronic system design. It is intended for architects, engineers and researchers from the electronic system design and computer science communities who are interested in the field of formal specification and analysis of electronic system design. It is also suitable for the developers of algorithms for electronic system design and graduate students with a general background in Electronic Engineering and/or Computer Science.

About the author

Authors: Ka Lok Man, Kaiyu Wan, Eng Gee Lim and Zhao Wang are academic staff at Xi'an Jiaotong-Liverpool University, China. Tomas Krilavi¿ius is an associate professor at Vytautas Magnus University and senior researcher at Baltic Institute of Advanced Technologies, Lithuania. Michele Mercaldi is a software team manager at EnvEve, Switzerland.

Product details

• Authors: Danny Hughes, Tomas Krilavi ius, Tomas Krilavi¿ius, Toma Krilavicius, Tomas Krilavicius, Ka Lo Man, Ka Lok Man
• Publisher: LAP Lambert Academic Publishing
• Languages: English
• Product format: Paperback / Softback
• Released: 01.01.2010
• EAN: 9783838363837
• ISBN: 978-3-8383-6383-7
• No. of pages: 132
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > Hardware