414 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
Produktinformation
- Utgivningsdatum:2018-07-18
- Mått:155 x 235 x 27 mm
- Vikt:634 g
- Format:Häftad
- Språk:Engelska
- Serie:Texts in Theoretical Computer Science. An EATCS Series
- Antal sidor:395
- Förlag:Springer International Publishing AG
- ISBN:9783319826899
Utforska kategorier
Mer om författaren
Roberto Bruni is an associate professor in the Dept. of Computer Science of the University of Pisa. His research interests include concurrency, operational semantics, Petri nets, Java programming, business process modelling, software composition, and fog computing, and he teaches related courses to computer science and business informatics graduate and undergraduate students. He has served the community with committee membership of conferences such as FACS, Coordination, CONCUR and WRLA. He was previously an international fellow of the SRI International Computer Science Laboratory, and a visiting scholar of the University of Illinois at Urbana-Champaign.Ugo Montanari is an emeritus professor in the Dept. of Computer Science of the University of Pisa. He has published over 400 refereed articles or papers in theoretical computer science and artificial intelligence. His current research interests are the semantics of concurrency, process description languages, constraint programming, graph transformation systems, coordination models, algebraic and categorical models of concurrency, models and languages for open distributed systems, network-aware programming, service-oriented computing, and collective autonomic systems. He has served as a board member for key international scientific journals such as Fundamenta Informaticae, Theoretical Computer Science, Computer Science Review, Artificial Intelligence, the IEEE Transactions on Software Engineering, Logic Programming, Science of Computer Programming, Theory and Practice of Logic Programming, and New Generation Computing, and he has served the community as a chair or committee member, PC or steering, of major related conferences such as CONCUR, WRLA, CP, CALCO, CMCS, ICGT, and TGC. He was Vice-Director of the IMT School for Advanced Studies, Lucca. He is member of the Academia Europaea.
Innehållsförteckning
- Preliminaries.- Operational Semantics of IMP.- Induction and Recursion.- Partial Orders and Fixpoints.- Denotational Semantics of IMP.- Operational Semantics of HOFL.- Domain Theory.- HOFL Denotational Semantics.- Equivalence Between HOFL Denotational and Operational Semantics.- Calculus for Communicating Systems (CCS).- Temporal Logic and mu-Calculus.- Pi-Calculus.- Measure Theory and Markov Chains.- Markov Chains with Actions and Non-determinism.- Performance Evaluation Process Algebra (PEPA).
Mer från samma serie
Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
523 kr
Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
414 kr
Simulation Algorithms for Computational Systems Biology
Luca Marchetti, Corrado Priami, Vo Hong Thanh
408 kr
Simulation Algorithms for Computational Systems Biology
Luca Marchetti, Corrado Priami, Vo Hong Thanh
608 kr
Finite Model Theory and Its Applications
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
984 kr
Du kanske också är intresserad av
Foundations of Information Technology in the Era of Network and Mobile Computing
Ricardo Baeza-Yates, Yates, Ricardo Baeza-Yates, Ugo Montanari, Nicola Santoro
1 635 kr
Foundations of Information Technology in the Era of Network and Mobile Computing
Ricardo Baeza-Yates, Ugo Montanari, Nicola Santoro
1 635 kr
Algebra and Coalgebra in Computer Science
Till Mossakowski, Ugo Montanari, Magne Haveraaen
550 kr
Graph Transformations
Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg
534 kr
Handbook Of Graph Grammars And Computing By Graph Transformation - Volume 3: Concurrency, Parallelism, And Distribution
EHRIG H, Grzegorz Rozenberg, Hartmut Ehrig, Hans-jorg Kreowski, Ugo Montanari
1 972 kr