Sciweavers

26 search results - page 6 / 6
» Stochastic process semantics for dynamical grammars
Sort
View
JUCS
2007
90views more  JUCS 2007»
13 years 5 months ago
High-level Structured Interactive Programs with Registers and Voices
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
Alexandru Popa, Alexandru Sofronia, Gheorghe Stefa...