Sciweavers

2612 search results - page 63 / 523
» Assemblies as Graph Processes
Sort
View
ICIAP
2007
ACM
13 years 11 months ago
Spectral Generative Models for Graphs
David White, Richard C. Wilson
PARLE
1987
13 years 11 months ago
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages
A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...
Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop
ISSS
1998
IEEE
104views Hardware» more  ISSS 1998»
13 years 12 months ago
Synchronization Detection for Multi-Process Hierarchical Synthesis
Complex system specifications are often hierarchically composed of several subsystems. Each subsystem contains one or more processes. In order to provide optimization across diffe...
Oliver Bringmann, Wolfgang Rosenstiel, Dirk Reicha...