511.3
The theory of timed I/O automata [electronic resource] /
/ Dilsun K. Kaynar ... [et al.].
.- 2nd ed.
.- San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) :: Morgan & Claypool,, c2011.
.- 1 electronic text (xiv, 123 p.) :. ill., digital file.
** Synthesis lectures on distributed computing theory, * # 5 2155-1634 ; )
QA267.5.T45 / T447 2011
- Synthesis digital library of engineering and computer science. Synthesis lectures on distributed computing theory, # 5. .
Part of: Synthesis digital library of engineering and computer science. Series from website.
Includes bibliographical references (p. 105-117) and index.
Abstract freely available; full-text restricted to subscribers or individual document purchasers.
Compendex INSPEC Google scholar Google book search
Mode of access: World Wide Web. System requirements: Adobe Acrobat Reader.
ISBN: 9781608450039 (electronic bk.)
10.2200/S00310ED1V01Y201011DCT005 doi
Subject Headings: Temporal automata;--Mathematical models.
Timed computing systems Distributed algorithms Formal modeling and verification I/O automata
Author Added Entry: Kaynar, Dilsun K.;
Copy Details: Acc. No.: EBKE300, Full Call No.: , Item type: E books , Location: , ------------------------- --------------------- ------ --------- ------- ------- --------- --------