Advanced search

Browse by subject

Browse by provider

Browse by language

Content Details
Normal View
CIP View

An Algebra of Reversible Computation

Wang, Yong...

Free

Share this content

An Algebra of Reversible Computation by Wang, Yong ( Author )

Content Provider	Lemonjar Open Access
Publisher	Australian National University
Publication Date	06-09-2023
Summary	Process algebra ACP based on the interleaving semantics can not be reversed. We design a reversible version of APTC called RAPTC. It has algebraic laws of reversible choice, sequence, parallelism, communication, silent step and abstraction, and also the soundness and completeness modulo strongly forward-reverse truly concurrent bisimulations and weakly forward-reverse truly concurrent bisimulations.
ISBN	-
Item Type	Article
File Type	pdf
File Size	29.34 KB
Language	English
Subjects	-
Unlimited	MYR 0.01
Total read	-
URL	http://arxiv.org/abs/1410.5131

Citation

Review the full bibliography data and make any necessary corrections before using. Always consult your library resources for the exact formatting and punctuation guidelines.

AMA 11th EditionReferences

Wang, Yong. An Algebra of Reversible Computation. Australian National University. September 06, 2023. Accessed September 20, 2024. https://online.provdatabase.com/cite/23726

APA 7th EditionReferences

Wang, Yong. (2023). An Algebra of Reversible Computation. Australian National University. https://online.provdatabase.com/cite/23726

Chicago 17th EditionReferences

Wang, Yong. An Algebra of Reversible Computation. Australian National University. 2023. https://online.provdatabase.com/cite/23726

HarvardReferences

Wang, Yong. (2023). An Algebra of Reversible Computation. [Online]. Australian National University. Available from: https://online.provdatabase.com/cite/23726. (Accessed 20 September 2024).

Harvard AustraliaReferences

Wang, Yong, 2023, An Algebra of Reversible Computation, Australian National University, viewed 20 September 2024, <https://online.provdatabase.com/cite/23726>

MLA 9th EditionWorks Cited

Wang, Yong. An Algebra of Reversible Computation. Australian National University, 2023. PROV Database, https://online.provdatabase.com/cite/23726.

Share this eBook