Calculus of Concurrent Probabilistic Reversible Processes-Reference-Cited by-同舟云学术

Calculus of Concurrent Probabilistic Reversible Processes

Published:2017 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 7th International Conference on Computer and Communication Technology - ICCCT-2017
language:
Short-container-title:

Author:

Arpit ¹,Kumar Divya²

Affiliation:

1. Institute of Engineering and Rural Technology, Allahabad, U.P, India

2. Motilal Nehru National Institute of Technology, Allahabad, India

Publisher

ACM Press

Reference12 articles.

1. Arpit, Afza Shafie, and Wan Fatimah Wan Ahmad. 2014. Automata for Modeling the Distributed Probabilistic Reversible Processes. Springer International Publishing, Cham, 122--136. https://doi.org/10.1007/978-3-319-04126-1_11

2. Arpit, A'fza Binti Shafie, and Wan Fatimah Binti Wan Ahmad. 2012. An introduction on extensions of process algebra: Concurrent and communicating systems. In Computer Information Science (ICCIS), 2012 International Conference on, Vol. 2. 857--862. https://doi.org/10.1109/ICCISci.2012.6297146

3. Marco Bernardo and Paola Inverardi. 2003. Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, Sfm 2003 (Lecture Notes in Computer Science, 2804). SpringerVerlag.

4. Patrice Marcel Andre Bremond-Gregoire. 1994. A Process Algebra of Communicating Shared Resources with Dense Time and Priorities. Ph.D. Dissertation. Philadelphia, PA, USA. UMI Order No. GAX94-27507.

5. Vincent Danos, Jean Krivine, and PawełSobociński. 2007. General Reversibility. Electron. Notes Theor. Comput. Sci. 175, 3 (June 2007), 75--86. https://doi.org/10.1016/j.entcs.2006.07.036

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The correctness of concurrencies in (reversible) concurrent calculi;Journal of Logical and Algebraic Methods in Programming;2024-01

2. Concurrencies in Reversible Concurrent Calculi;Reversible Computation;2022

3. Explicit Identifiers and Contexts in Reversible Concurrent Calculus;Reversible Computation;2021

4. An improved noise loss correction algorithm for learning from noisy labels;Journal of Visual Communication and Image Representation;2020-10

5. Towards Quantifying Intrinsic Generalization of Deep ReLU Networks;2020 International Joint Conference on Neural Networks (IJCNN);2020-07