Search results
From MaRDI portal
- Paper Process algebra with propositional signals 1998-07-23 Paper Discrete time process algebra 1996-06-02 Paper Axiomatizing probabilistic processes: ACP...10 bytes (21 words) - 08:40, 9 December 2023
- Polarized process algebra with reactive composition 2005-11-01 Paper Formal Methods for Components and Objects 2005-08-22 Paper Process algebra for hybrid...10 bytes (19 words) - 21:19, 8 December 2023
- Hybrid Process Algebra Chi 2014-01-17 Paper https://portal.mardi4nfdi.de/entity/Q2847419 2013-09-09 Paper Repairing time-determinism in the process algebra...10 bytes (21 words) - 23:52, 11 December 2023
- for process algebra 2011-03-29 Paper From individuals to populations: a symbolic process algebra approach to epidemiology 2011-02-19 Paper Process Algebra...10 bytes (16 words) - 12:26, 6 October 2023
- for process algebra 2011-03-29 Paper From individuals to populations: a symbolic process algebra approach to epidemiology 2011-02-19 Paper Process Algebra...10 bytes (17 words) - 12:26, 6 October 2023
- for process algebra 2011-03-29 Paper From individuals to populations: a symbolic process algebra approach to epidemiology 2011-02-19 Paper Process Algebra...10 bytes (17 words) - 12:26, 6 October 2023
- 2003-02-13 Paper Process algebra and conditional composition 2002-07-25 Paper Equivalence of recursive specifications in process algebra 2002-07-25 Paper...10 bytes (16 words) - 20:53, 24 September 2023
- 2016-11-30 Paper A Generic Process Algebra 2015-07-10 Paper YMCA 2015-07-10 Paper Stochastic and Real Time in Process Algebra: A Conceptual Overview 2015-07-10...10 bytes (16 words) - 10:58, 6 October 2023
- timing in process algebra. 2003-06-25 Paper Algebra of timed frames 2002-12-19 Paper Process algebra with timing 2002-11-17 Paper Real time process algebra...10 bytes (18 words) - 19:33, 24 September 2023
- Bisimulation for a Markovian Process Algebra 2015-09-16 Paper A unified framework for differential aggregations in Markovian process algebra 2015-02-27 Paper Exact...10 bytes (17 words) - 09:49, 7 October 2023
- Systems 2010-02-05 Paper Process Algebra Modelling Styles for Biomolecular Processes 2009-11-10 Paper HYPE: A Process Algebra for Compositional Flows and...10 bytes (17 words) - 07:11, 7 October 2023
- applications 2016-08-16 Paper Mechanizing a process algebra for network protocols 2016-05-26 Paper A Timed Process Algebra for Wireless Networks with an Application...10 bytes (16 words) - 16:47, 24 September 2023
- Stochastic-Time Process Algebra 2010-02-05 Paper Validation of Stochastic Systems 2009-07-24 Paper Embedding Real Time in Stochastic Process Algebras 2009-03-12...10 bytes (20 words) - 13:48, 28 January 2024
- within the framework of an extended algebra of algorithms 2009-03-27 Paper Formalization of the software design for process control systems in ferrous metallurgy...10 bytes (18 words) - 02:53, 12 December 2023
- mardi4nfdi.de/entity/Q4312484 1994-11-29 Paper Process algebra with guards: Combining hoare logic with process algebra 1994-06-29 Paper Transition system specifications...10 bytes (19 words) - 12:17, 8 December 2023
- concurrent program algebra 2021-05-04 Paper Cylindric Kleene lattices for program construction 2020-05-05 Paper Developing an algebra for rely/guarantee...10 bytes (18 words) - 04:48, 13 December 2023
- Type A process algebra for synchronous concurrent constraint programming 2017-01-19 Paper On Decidability of LTL+Past Model Checking for Process Rewrite...10 bytes (16 words) - 18:09, 12 December 2023
- Dynamics Security Policies and Process Opacity for Timed Process Algebras 2016-12-21 Paper Process Opacity for Timed Process Algebra 2015-12-03 Paper Simulation...10 bytes (17 words) - 11:40, 12 December 2023
- Liveness of a mutex algorithm in a fair process algebra 2009-05-08 Paper Time and Fairness in a Process Algebra with Non-blocking Reading 2009-02-03 Paper...10 bytes (20 words) - 08:23, 13 December 2023
- asymmetric exclusion process 2023-06-21 Paper Stationary states of the one-dimensional discrete-time facilitated symmetric exclusion process 2023-03-24 Paper...10 bytes (18 words) - 02:14, 10 December 2023
