Sciweavers

942 search results - page 60 / 189
» Process Algebraic Non-product-forms
Sort
View
CORR
2008
Springer
112views Education» more  CORR 2008»
14 years 10 months ago
Analytic aspects of the shuffle product
There exist very lucid explanations of the combinatorial origins of rational and algebraic functions, in particular with respect to regular and context free languages. In the searc...
Marni Mishna, Mike Zabrocki
JSC
2006
83views more  JSC 2006»
14 years 9 months ago
Phylogenetic invariants for stationary base composition
Changing base composition during the evolution of biological sequences can mislead some of the phylogenetic inference techniques in current use. However, detecting whether such a ...
Elizabeth S. Allman, John A. Rhodes
JLP
2010
155views more  JLP 2010»
14 years 4 months ago
Compositional semantics of spiking neural P systems
The aim of the paper is to give a formal compositional semantics for Spiking Neural P systems (SNP systems) by following the Structural Operational Semantics (SOS) approach. A pro...
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...
ACSD
2008
IEEE
89views Hardware» more  ACSD 2008»
15 years 4 months ago
Process algebraic verification of SystemC codes
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirj...