The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for example, disjunction, conjunction, greatest fixpoint, least fixpoint in μ-calculus) into (basic) LOTOS, in order to describe flexible specifications. Disjunction operators ∨ have been already proposed for expressing...
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions of CCB, and give a sound and complete axiom system for the congruence relation of finite agents. CCB is developed for analyzing a multi-agent model with broadcast communication. The most important property of CCB is...
In this paper we propose a process algebra, CCSG, in which we can approximately analyze processes by neglecting unimportant distant actions. Although many kinds of process algebra have already been proposed, there is a common problem that the number of feasible action sequences explosively increases with the number of concurrent processes. Therefore, an approximative approach is useful for large systems...
An embedded system often consists of two or more processors for efficient control of various devices in parallel. However, it is difficult to correctly design parallel software for such an embedded system because of unexpected interference among processors. It is using a formal method for the development of that system. Further more, power saving called Green IT is also an important issue in high...
Embedded systems have become an essential technology in fields that require electronic control. These technologies must work in real time and have high reliability and low cost. Among them, safety verification of embedded systems is very important in fields related to human life. In addition, as multi-core and multiprocessors have spread, the processing power of the hardware has been improved. As...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.