Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday /

This Festschrift volume contains papers presented at a conference, Prakash Fest, held in honor of Prakash Panangaden, in Oxford, UK, in May 2014, to celebrate his 60th birthday. Prakash Panangaden has worked on a large variety of topics including probabilistic and concurrent computation, logics and...

Full description

Bibliographic Details
Published in:	Springer eBooks
Corporate Author:	SpringerLink (Online service)
Other Authors:	Breugel, Franck (Editor), Kashefi, Elham (Editor), Palamidessi, Catuscia (Editor), Rutten, Jan (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2014.
Series:	Lecture Notes in Computer Science,
Subjects:	Computer Science. Logic design. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Probability and Statistics in Computer Science. Computation by Abstract Devices.
Online Access:	http://dx.doi.org/10.1007/978-3-319-06880-0 Перейти в каталог НБ ТГУ

Similar Items

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
Published: (2014)

Categories and Types in Logic, Language, and Physics Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday /
Published: (2014)

Semantics of Probabilistic Processes An Operational Approach /
by: Deng, Yuxin
Published: (2014)

CONCUR 2014 - Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings /
Published: (2014)

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
Published: (2014)

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
by: Kreowski, Hans-Jörg
Published: (2005)

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures /
Published: (2014)

Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
by: Futatsugi, Kokichi
Published: (2006)

ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings /
Published: (2014)

Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings /
Published: (2014)

Developments in Language Theory (vol. # 3572) 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
by: De Felice, Clelia
Published: (2005)

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings /
Published: (2013)

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings /
Published: (2014)

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday /
Published: (2013)

Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings /
by: Hutchison, David
Published: (2008)

Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings /
by: Durand-Lose, Jérôme
Published: (2007)

Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers /
by: Holub, Jan
Published: (2007)

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
by: de Vrijer, Roel
Published: (2005)

Implementation and Application of Automata (vol. # 3845) 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers
by: Farré, Jacques
Published: (2006)

Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
by: Margenstern, Maurice
Published: (2005)

Implementation and Application of Automata (vol. # 4094) 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings
by: Ibarra, Oscar H.
Published: (2006)

Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings /
Published: (2015)

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings /
Published: (2013)

CONCUR 2013 - Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings /
Published: (2013)

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
by: Hung, Dang Van
Published: (2005)

Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday /
by: Comon-Lundh, Hubert
Published: (2007)

Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings /
Published: (2013)

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
by: Reps, Thomas
Published: (2007)

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers /
Published: (2013)

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
by: Artemov, Sergei N.
Published: (2007)

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings /
Published: (2013)

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings /
Published: (2014)

Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /
Published: (2013)

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday /
Published: (2015)

Modelling Computing Systems Mathematics for Computer Science /
by: Moller, Faron, et al.
Published: (2013)

Foundations of Software Science and Computational Structures (vol. # 3441) 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005
by: Sassone, Vladimiro
Published: (2005)

Foundations of Software Science and Computational Structures (vol. # 3921) 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienn
by: Aceto, Luca
Published: (2006)

Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
by: Uustalu, Tarmo
Published: (2006)

Concrete Semantics With Isabelle/HOL /
by: Nipkow, Tobias, et al.
Published: (2014)

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines BjГёrner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
by: Jones, Cliff B.
Published: (2007)