860 search results - page 2 / 172 » A Process Algebra Based Verification of a Production System |
ACSD
2008
IEEE
13 years 12 months ago
2008
IEEE
ECSA
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
ENTCS
2008
13 years 5 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
SEFM
2006
IEEE
13 years 11 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
DATE
2008
IEEE
13 years 12 months ago
2008
IEEE
Constant-coefficient multipliers are fundamental components in digital signal processing and arithmetic-based systems. Their verification, however, remains difficult and time-cons...