World Scientific
  • Search
Skip main navigation

Cookies Notification

We use cookies on this site to enhance your user experience. By continuing to browse the site, you consent to the use of our cookies. Learn More
×
Our website is made possible by displaying certain online content using javascript.
In order to view the full content, please disable your ad blocker or whitelist our website www.worldscientific.com.

System Upgrade on Tue, Oct 25th, 2022 at 2am (EDT)

Existing users will be able to log into the site and access content. However, E-commerce and registration of new users may not be available for up to 12 hours.
For online purchase, please visit us again. Contact us at [email protected] for any enquiries.
Special Issue on Parallell Unconventional ComputingNo Access

Towards Context-Based Concurrent Formal Theories

    We define a kind of simple actions of labelled transition systems. These actions cannot be atomic; consequently, their compositions cannot be inductive. Their informal meaning is that in one simple action we can suppose the maximum of its modifications. Such actions are called hybrid. Then we propose two formal theories on hybrid actions (the hybrid actions are defined there as non-well-founded terms and non-well-founded formulas): group theory and Boolean algebra. Both theories possess many unusual properties such as the following one: the same member of this group theory behaves as multiplicative zero in respect to one members and as multiplicative unit in respect to other members.