Interactive Systems: From Folklore to Mathematics
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Algebraic Description of Physical Systems
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Abstract behavior types: a foundation model for components and their composition
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Causality interfaces for actor networks
ACM Transactions on Embedded Computing Systems (TECS)
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
Electronic Notes in Theoretical Computer Science (ENTCS)
A Formal Framework for Interactive Agents
Electronic Notes in Theoretical Computer Science (ENTCS)
CPO semantics of timed interactive actor networks
Theoretical Computer Science
Streaming networks for coordinating data-parallel programs
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Sampling, splitting and merging in coinductive stream calculus
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Implementation architecture and multithreaded runtime system of S-NET
IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
Streaming networks for coordinating data-parallel programs (position statement)
ACSAC'06 Proceedings of the 11th Asia-Pacific conference on Advances in Computer Systems Architecture
Concurrent semantics without the notions of state or state transitions
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Distributed S-Net: Cluster and Grid Computing without the Hassle
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Refinement-Preserving translation from event-b to register-voice interactive systems
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Stream processing coalgebraically
Science of Computer Programming
Hi-index | 5.23 |