Tools

LEADER 01937cam 2200385 a 4500

005 20141212122133.0;

008 960226s1996 gw a b 000 0 eng ;

010 a| 96005558;

020 a| 3540609156 (Berlin : acid-free paper);

035 a| (Sirsi) o34323330;

035 a| (OCoLC)34323330;

049 a| EREE;

050 00 a| QA76.9.D5b| M645 1996;

082 00 a| 004/.36/0151132| 20;

092 a| 004.36015113b| L82;

245 00 a| Logics for concurrency :b| structure versus automata /c| Faron Moller, Graham Birtwistle, eds.;

300 a| xi, 266 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1043;

504 a| Includes bibliographical references.;

505 0 a| Specification structures and propositions-as-types for concurrency / Samson Abramsky, Simon Gay and Rajagopal Nagarajan -- Automated temporal reasoning about reactive systems / E. Allen Emerson -- Decidability results in automata and process theory / Yoram Hirshfeld and Faron Moller -- Modal and temporal logics for processes / Colin Stirling -- An automata-theoretic approach to linear temporal logic / Moshe Y. Vardi.;

650 0 a| Computer programmingx| Distributed processing.=| ^A33242;

650 0 a| Parallel processing (Electronic computers)=| ^A123911;

650 0 a| Electronic data processingx| Distributed processing.=| ^A419191;

700 1 a| Moller, Faron,d| 1962-=| ^A380089;

700 1 a| Birtwistle, G. M.q| (Graham M.)=| ^A665312;

830 0 a| Lecture notes in computer sciencev| 1043.=| ^A466336;

590 a| Little-297248--305131003540P;

596 a| 1 2;

998 a| 599849;

999 a| QA76.9.D5 M645 1996w| LCc| 1i| 30372009481455d| 3/7/2013f| 3/7/2013g| 2l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 9/12/1996x| BOOKz| JSTACKSo| .STAFF. 0;

Logics for concurrency : structure versus automata / Faron Moller, Graham Birtwistle, eds.

Other author	Moller, Faron, 1962-
Other author	Birtwistle, G. M. (Graham M.)
Format	Book
Publication Info	Berlin ; New York : Springer, ©1996.
Description	xi, 266 pages : illustrations ; 24 cm.
Subjects	Computer programming--Distributed processing. Parallel processing (Electronic computers) Electronic data processing--Distributed processing.

Series	Lecture notes in computer science ; 1043 Lecture notes in computer science 1043. ^A466336
Contents	Specification structures and propositions-as-types for concurrency / Samson Abramsky, Simon Gay and Rajagopal Nagarajan -- Automated temporal reasoning about reactive systems / E. Allen Emerson -- Decidability results in automata and process theory / Yoram Hirshfeld and Faron Moller -- Modal and temporal logics for processes / Colin Stirling -- An automata-theoretic approach to linear temporal logic / Moshe Y. Vardi.
Local note	Little-297248--305131003540P
Bibliography note	Includes bibliographical references.
LCCN	96005558
ISBN	3540609156 (Berlin : acid-free paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.D5 M645 1996	✔ Available	Place Hold

Logics for concurrency : structure versus automata / Faron Moller, Graham Birtwistle, eds.

Click here for more information about this title

Availability