APSEC
1997
IEEE
14 years 6 days ago
1997
IEEE
APSEC
1997
IEEE
14 years 6 days ago
1997
IEEE
APSEC
1997
IEEE
14 years 6 days ago
1997
IEEE
A task-type in concurrent programs is a template of task-instances which are dynamically generated in execution of the programs. The number of the generated taskinstances may not ...
APSEC
1997
IEEE
14 years 6 days ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
APSEC
1997
IEEE
14 years 6 days ago
1997
IEEE
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of...
FSTTCS
1998
Springer
14 years 6 days ago
1998
Springer
FSTTCS
1998
Springer
14 years 6 days ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
FSTTCS
1998
Springer
14 years 6 days ago
1998
Springer
Molecular Computation (MC) is massively parallel computation where data is stored and processed within objects of molecular size. Biomolecular Computation (BMC) is MC using biotec...
FSTTCS
1998
Springer
14 years 6 days ago
1998
Springer
In [NO88], a particular trace monoid M is constructed such that for the class of length
FSTTCS
1998
Springer
14 years 6 days ago
1998
Springer