LUCID, the dataflow programming language
LUCID, the dataflow programming language
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Nondeterministic data flow programs: how to avoid the merge anomaly
Science of Computer Programming
A survey of two-dimensional automata theory
Information Sciences: an International Journal
Towards a new algebraic foundation of flowchart scheme theory
Fundamenta Informaticae
Monadic second-order logic over rectangular pictures and recognizability by tiling systems
Information and Computation
Recognizable picture languages and domino tiling
Theoretical Computer Science
Handbook of formal languages, vol. 3
Context-sensitive string languages and recognizable picture languages
Information and Computation
Interactive foundations of computing
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
A relation between unambiguous regular expressions and abstract data types
Fundamenta Informaticae
Proof, language, and interaction
The algebra of stream processing functions
Theoretical Computer Science
Types and programming languages
Types and programming languages
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Scenarios: A Model of Non-Determinate Computation
Proceedings of the International Colloquium on Formalization of Programming Concepts
Regular Expressions and Context-Free Grammars for Picture Languages
STACS '97 Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science
Retracting Some Paths in Process Algebra
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
CSD '98 Proceedings of the 1998 International Conference on Application of Concurrency to System Design
A fully abstract trace model for dataflow and asynchronous networks
Distributed Computing
Interactive Computation: The New Paradigm
Interactive Computation: The New Paradigm
Interactive Systems with Registers and Voices
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
On compiling structured interactive programs with registers and voices
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
Finite dimensional vector spaces are complete for traced symmetric monoidal categories
Pillars of computer science
Refinement-Preserving translation from event-b to register-voice interactive systems
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Hi-index | 0.01 |
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming and reasoning about interactive computing systems have been recently introduced by Stefanescu using register machines and space-time duality, see [Stefanescu, G. Interactive systems with registers and voices. Fundamenta Informaticae 73 (2006), 285-306. (Early draft, School of Computing, National University of Singapore, July 2004.)]. After that, Dragoi and Stefanescu have developed structured programming techniques for rv-systems and their verification, see, e.g., [Dragoi, C., and G. Stefanescu. Structured programming for interactive rv-systems. Institute of Mathematics of the Romanian Academy, IMAR Preprint 9/2006, Bucharest 2006. Dragoi, C., and G. Stefanescu. Towards a Hoare-like logic for structured rv-programs. Institute of Mathematics of the Romanian Academy, IMAR Preprint 10/2006, Bucharest, 2006. Dragoi, C., and G. Stefanescu. Implementation and verification of ring termination detection protocols using structured rv-programs. Annals of University of Bucharest, Mathematics-Informatics Series, 55 (2006), 129-138. Dragoi, C., and G. Stefanescu. Structured interactive programs with registers and voices and their verification. Draft, Bucharest, January 2007. Dragoi, C., and G. Stefanescu. On compiling structured interactive programs with registers and voices. In: ''Proc. SOFSEM 2008,'' 259-270. LNCS 4910, Springer, 2008.]. In the present paper a kernel programming language AGAPIA v0.1 for interactive systems is introduced. The language contains definitions for complex spatial and temporal data, arithmetic and boolean expressions, modules, and while-programming statements with their temporal, spatial, and spatio-temporal versions. In AGAPIA v0.1 one can write programs for open processes located at various sites and having their temporal windows of adequate reaction to the environment. The main technical part of the paper describes a typing system for AGAPIA v0.1 programs.