Formal Methods for Mobile Computing
Subtitle: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby ... Lectures (Lecture Notes in Computer Science)
Contributors: Marco Bernardo (Editor); Alessandro Bogliolo (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 31, 1899
Language: eng
Format: Paperback
Number of pages: 271
ISBN-13: 9783540256977
Subjects: Computer Communications & Networking; Programming - Systems Analysis & Design; Computers - Languages / Programming; Computers; Computer Books: General; Networking - General; Programming - Software Development; Computers / Programming / Software Development; ad-hoc wireless networking; agent-based middleware; automata; formal methods; mobile computing; mobile distributed programming; performance analysis; power management; software design; software development; systems design
First sentence: In the context of process calculi (e.g., Milner's CCS [Mil89]), automata (or labelled transition systems) are often used as operational models.