Search results
From MaRDI portal
- https://portal.mardi4nfdi.de/entity/Q4621131 2019-02-08 Paper A Generalization of ACP Using Belnap's Logic 2015-07-10 Paper Risk assessment for one-counter threads...10 bytes (22 words) - 02:21, 13 December 2023
- 2017-05-19 Paper Dynamic Consistency in Process Algebra: From Paradigm to ACP 2015-03-19 Paper https://portal.mardi4nfdi.de/entity/Q2848135 2013-09-25 Paper...10 bytes (16 words) - 06:34, 12 December 2023
- 2016-01-07 Paper Dynamic Consistency in Process Algebra: From Paradigm to ACP 2015-03-19 Paper https://portal.mardi4nfdi.de/entity/Q2848476 2013-09-26 Paper...10 bytes (20 words) - 13:48, 28 January 2024
- Process Algebra: From Paradigm to ACP 2015-03-19 Paper Dynamic consistency in process algebra: from paradigm to ACP 2011-06-07 Paper https://portal.mardi4nfdi...10 bytes (20 words) - 09:30, 7 October 2023
- Publication Date of Publication Type acp 2015-12-04 Software...10 bytes (13 words) - 17:38, 24 September 2023
- Publication Date of Publication Type ACP Semantics for Petri Nets 2021-01-21 Paper https://portal.mardi4nfdi.de/entity/Q3607693 2009-02-26 Paper...10 bytes (16 words) - 03:04, 28 December 2023
- Date of Publication Type Transient Analysis and Device Characterization of ACP Circuits 1963-01-01 Paper...10 bytes (18 words) - 02:34, 28 December 2023
- Date of Publication Type Transient Analysis and Device Characterization of ACP Circuits 1963-01-01 Paper...10 bytes (18 words) - 02:34, 28 December 2023
- Date of Publication Type Transient Analysis and Device Characterization of ACP Circuits 1963-01-01 Paper...10 bytes (18 words) - 02:34, 28 December 2023
- Publication Date of Publication Type ACP Probe Measurement of On-Chip Strip Dipole Antennas at W Band 2017-11-20 Paper...10 bytes (16 words) - 00:50, 28 December 2023
- Publication Date of Publication Type ACP Semantics for Petri Nets 2021-01-21 Paper...10 bytes (16 words) - 22:38, 27 December 2023
- stream 1979-01-01 Paper Transient Analysis and Device Characterization of ACP Circuits 1963-01-01 Paper...10 bytes (17 words) - 09:41, 24 September 2023
- Publication Date of Publication Type An effective axiomatization for real time ACP 2006-10-10 Paper https://portal.mardi4nfdi.de/entity/Q4255545 1999-08-18 Paper...10 bytes (16 words) - 02:42, 25 September 2023
- Connected Function 2010-10-14 Paper Study on the Duality between MFP and ACP 2009-02-24 Paper...10 bytes (17 words) - 22:38, 24 September 2023
- 2015-10-30 Paper Proposition algebra 2015-09-17 Paper A Generalization of ACP Using Belnap's Logic 2015-07-10 Paper Division by Zero in Common Meadows 2015-06-22...10 bytes (16 words) - 20:53, 24 September 2023
- mardi4nfdi.de/entity/Q4695064 1993-08-11 Paper La non-unicité des solutions en ACP et son application au changement de métriques. (The nonuniqueness of solutions...10 bytes (16 words) - 09:11, 24 September 2023
- de/entity/Q3572601 2010-07-08 Paper Study on the Duality between MFP and ACP 2009-02-24 Paper https://portal.mardi4nfdi.de/entity/Q5456150 2008-04-04 Paper...10 bytes (17 words) - 17:56, 9 December 2023
- 2021-05-31 Paper https://portal.mardi4nfdi.de/entity/Q4630961 2019-04-23 Paper ACP Probe Measurement of On-Chip Strip Dipole Antennas at W Band 2017-11-20 Paper...10 bytes (16 words) - 12:55, 7 October 2023
- time process algebra 1996-06-02 Paper Axiomatizing probabilistic processes: ACP with generative probabilities 1996-01-22 Paper Decidability of bisimulation...10 bytes (21 words) - 08:40, 9 December 2023
- Computer Science 2006-10-20 Paper An effective axiomatization for real time ACP 2006-10-10 Paper Compositionality of Hennessy-Milner logic by structural operational...10 bytes (19 words) - 15:23, 10 December 2023