Books on the topic 'Process algebras'

Aceto, Luca. Action refinement in process algebras. Cambridge: Cambridge University Press, 1992.

Gorrieri, Roberto. Process Algebras for Petri Nets. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-55559-1.

El-Rayes, Amani Helmi. Analysing performance of open queueing systems with stochastic process algebras. Birmingham: University of Birmingham, 2000.

Baeten, J. C. M. Process algebra. Cambridge: Cambridge University Press, 1990.

Evolution algebras and their applications. Berlin: Springer, 2008.

Fokkink, Wan. Introduction to Process Algebra. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-662-04293-9.

Baeten, J. C. M., and C. A. Middelburg. Process Algebra with Timing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/978-3-662-04995-2.

Fokkink, Wan. Introduction to Process Algebra. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000.

Baeten, J. C. M. Process Algebra with Timing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002.

Rachlin, Sidney Lee. Algebra I: A process approach. Honolulu: University of Hawaii Curriculum Research & Development Group, 1992.

1973-, Positselski Leonid, ed. Quadratic algebras. Providence, R.I: American Mathematical Society, 2005.

Groote, J. F. Undecidable equivalences for Basic Process Algebra. Edinburgh: University of Edinburgh, Laboratory for Foundations of Computer Science, 1991.

Baeten, J. C. M. Process algebra: Equational theories of communicating processes. Cambridge: Cambridge University Press, 2010.

Twan, Basten, and Reniers, M. A. (Michel Adriaan), 1970-, eds. Process algebra: Equational theories of communicating processes. Cambridge: Cambridge University Press, 2010.

A, McGowen Mercedes, and Whitkanack Darlene, eds. Applying algebraic thinking to data: Concepts and proces ses for the intermediate algebra student. New York: HarperCollins College Publishers, 1996.

Strong limit theorems in non-commutative probability. Berlin: Springer-Verlag, 1985.

Hermanns, Holger, and Roberto Segala, eds. Process Algebra and Probabilistic Methods: Performance Modeling and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45605-8.

de Alfaro, Luca, and Stephen Gilmore, eds. Process Algebra and Probabilistic Methods. Performance Modelling and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44804-7.

Aldini, Alessandro, Marco Bernardo, and Flavio Corradini. A Process Algebraic Approach to Software Architecture Design. London: Springer London, 2010. http://dx.doi.org/10.1007/978-1-84800-223-4.

Marco, Bernardo, and Corradini Flavio, eds. A process algebraic approach to software architecture design. London: Springer, 2010.

Noncommutative stationary processes. Berlin: Springer, 2004.

Donatelli, S. A comparison of performance evaluation process algebra and generalized stochastic Petri nets. Edinburgh: Computer Systems Group, University of Edinburgh, 1994.

Conference Board of the Mathematical Sciences., ed. Algebraic ideas in ergodic theory. Providence, R.I: Published for the Conference Board of the Mathematical Sciences by the American Mathematical Society, 1990.

Kalpazidou, Sophia L. Cycle representations of Markov processes. 2nd ed. New York: Springer, 2011.

Cycle representations of Markov processes. New York: Springer-Verlag, 1995.

Topology in process calculus: Approximate correctness and infinite evolution of concurrent programs. New York: Springer, 2001.

Giuseppe, Dito, ed. Poisson geometry in mathematics and physics: International conference, June 5-9, 2006, Tokyo, Japan. Providence, R.I: American Mathematical Society, 2008.

Doberkat, Ernst-Erich. Stochastic Coalgebraic Logic. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2009.

Molchanov, Ilya S. Statistics of the Boolean model for practitioners and mathematicians. Chichester: Wiley, 1997.

Dunmore, A. Development of algebraic reconstruction algorithms for a real time optical process tomography system. Manchester: UMIST, 1993.

Limin, Zhu, ed. Fu za qu mian shu zi hua zhi zao de ji he xue li lun he fang fa: Geometric theories and methods for digital manufacturing of complex surfaces. Beijing: Ke xue chu ban she, 2011.

Girko, V. L. Theory of linear algebraic equations with random coefficients. New York: Allerton Press, 1996.

Actions of discrete amenable groups on von Neumann algebras. Berlin: Springer-Verlag, 1985.

Wolfgang, Kliemann, ed. Dynamical systems and linear algebra. Providence, Rhode Island: American Mathematical Society, 2014.

1957-, Purushothaman S., Zwarico Amy 1960-, and British Computer Society, eds. NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992. London: Springer-Verlag, 1993.

Purushothaman, S. NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992. London: Springer London, 1993.

1955-, Gyllenberg Mats, and Persson Lars Erik 1944-, eds. Analysis, algebra, and computers in mathematical research: Proceedings of the Twenty-first Nordic Congress of Mathematicians. New York: M. Dekker, 1994.

1966-, De Alfaro Luca, and Gilmore Stephen 1962-, eds. Process algebra and probabilistic methods: Performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings. Berlin: Springer-Verlag, 2001.

Alfaro, Luca. Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12-14, 2001 Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2001.

PAPM-PROBMIV 2002 (2002 Copenhagen, Denmark). Process algebra and probabilistic methods: Performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings. New York: Springer, 2002.

Efremov, German. Modeling of chemical and technological processes. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1090526.

French-German Encounter in Mathematics and Physics (4th 1988 Centre national de rencontres mathématiques). Stochastics, algebra, and analysis in classical and quantum dynamics: Proceedings of the IVth French-German Encounter on Mathematics and Physics, CIRM, Marseille, France, February/March 1988. Dordrecht: Kluwer Academic Publishers, 1990.

Random probability measures on Polish spaces. London: Taylor & Francis, 2002.

Topics in random matrix theory. Providence, R.I: American Mathematical Society, 2012.

Gerald, Lüttgen, Naṭarājan̲ V, and Langley Research Center, eds. Priority in process algebras. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1999.

Gerald, Lüttgen, Natarajan V, and Langley Research Center, eds. Priority in process algebras. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1999.

Priority in process algebras. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1999.

Gorrieri, Roberto. Process Algebras for Petri Nets: The Alphabetization of Distributed Systems. Springer, 2018.

Aceto, Luca. Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science). Cambridge University Press, 2007.

Thomson, Kendall T., and H. Ted Davis. Linear Algebra and Linear Operators in Engineering: With Applications in Mathematica (Process Systems Engineering). Academic Press, 2000.