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: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------