Analyzing due process in the workplace
COCS '86 Proceedings of the third ACM-SIGOIS conference on Office information systems
Flocks, herds and schools: A distributed behavioral model
SIGGRAPH '87 Proceedings of the 14th annual conference on Computer graphics and interactive techniques
Dimensions of object-based language design
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
MELDing data flow and object-oriented programming
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Distributed decision making: a research agenda
ACM SIGOIS Bulletin
OSI service specification with CCITT-SDL
ACM SIGCOMM Computer Communication Review
An object oriented system implementing KNOs
COCS '88 Proceedings of the ACM SIGOIS and IEEECS TC-OA 1988 conference on Office information systems
COCS '88 Proceedings of the ACM SIGOIS and IEEECS TC-OA 1988 conference on Office information systems
Language and visualization support for large-scale concurrency
ICSE '88 Proceedings of the 10th international conference on Software engineering
Type theories and object-oriented programmimg
ACM Computing Surveys (CSUR)
Data abstraction mechanisms in SINA/ST
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Transformation of data flow analysis models to object oriented design
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Finite-grain message passing concurrent computers
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Object-oriented concurrent programming in CST
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
The relation between problems in large-scale concurrent systems and distributed databases
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Parallelizing a database programming language
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Object-oriented programming in scheme
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Large-scale concurrent computing in artificial intelligence research
C3P Proceedings of the third conference on Hypercube concurrent computers and applications - Volume 2
Designing families of data types using exemplars
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Design of a distributed implementation of ABCL/I
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Object-oriented concurrent programming in CST
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Granularity of modules in object-based concurrent systems
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Foundational issues in concurrent computing
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
From objects to actors: study of a limited symbiosis in smalltalk-80
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Object oriented languages and actors: which language for a distributed approach?
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Message driven computing and its relationship to actors
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
A peek at Acore, an actor core language
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Actra-a multitasking/multiprocessing smalltalk
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Rosette: An object-oriented concurrent systems architecture
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
MITRE's future generation computer architectures program
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
PO: an object model to express parallelism
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Position statement on concurrent objects for massively parallel architectures
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Two models of concurrent objects
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Garp: a graphical/textual language for concurrent programming
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Analyzing patterns of message passing
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
The Ubik configurator: A fusion of messages, daemons, and rules
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Concurrent object-oriented real-times systems research
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
LIZA: an extensible groupware toolkit
CHI '89 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Declarative visualization in the shared dataspace paradigm
ICSE '89 Proceedings of the 11th international conference on Software engineering
Experience with CST: programming and implementation
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Inheritance and synchronization with enabled-sets
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Prototyping a real-time embedded system in Smalltalk
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Computational reflection in class based object-oriented languages
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Reflective facilities in Smalltalk-80
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Specifying concurrent systems with &Dgr;-grammars
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Implementing a shared dataspace language on a message-based multiprocessor
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Self-assessment procedure XXI: a self-assessment procedure on concurrency
Communications of the ACM
Concurrent object-oriented programming
Communications of the ACM
Control of a virtual actor: the roach
I3D '90 Proceedings of the 1990 symposium on Interactive 3D graphics
Structure and action in distributed organizations
COCS '90 Proceedings of the ACM SIGOIS and IEEE CS TC-OA conference on Office information systems
Viewing object as patterns of communicating agents
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
A Chare kernel implementation of a parallel Prolog compiler
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency
IEEE Transactions on Software Engineering
ASK: a kernel for programming actor systems
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
ABSL: an actor-based specification language for office automation
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
A parallel object-oriented total architecture: A–NET
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
CML: A higher concurrent language
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
PROXHY: a process-oriented extensible hypertext architecture
ACM Transactions on Information Systems (TOIS)
Scheduler activations: effective kernel support for the user-level management of parallelism
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
Object-oriented programming in Ada83—genericity rehabilitated
ACM SIGAda Ada Letters
A formal specification tool for distributed office systems
ACM SIGSMALL/PC Notes
Concurrency & object-oriented programming
ACM SIGPLAN Notices
Direct end-user access to remote information
COCS '91 Proceedings of the conference on Organizational computing systems
Supporting collaborative process with conversation builder
COCS '91 Proceedings of the conference on Organizational computing systems
GMAL: a reflective language for distributed AI
COCS '91 Proceedings of the conference on Organizational computing systems
An approach to formalizing organizational open systems concepts
COCS '91 Proceedings of the conference on Organizational computing systems
A solution to the explicit/implicit control dilemma
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Concurrent organizational objects
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Implementing actor-based primitives on distributed-memory architectures
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
A small calculus for concurrent objects
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Recent progress in combining actor-based concurrency with object-oriented programming
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Progress in the garbage collection of active objects
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Specification and implementation of Actors with graph rewriting
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Actra—an industrial strength concurrent object-oriented programming system
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
The impact of selected concurrent language constructs on the Sam run-time system
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Another proposal for a concurrency control level in concurrent object-oriented languages
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
Actor reflection without meta-objects
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
A concurrent object-oriented framework for the simulation of neural networks
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
An object-based programming model for shared data
ACM Transactions on Programming Languages and Systems (TOPLAS)
Coordination languages and their significance
Communications of the ACM
Spawn: A Distributed Computational Economy
IEEE Transactions on Software Engineering
Reusable distributed “data environments”
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Animating an actor programming model
ACM SIGPLAN OOPS Messenger
Architectural Support for Goal Management in Flat Concurrent Prolog
Computer - Special issue on sharing: high performance at low cost
ICS '92 Proceedings of the 6th international conference on Supercomputing
Scheduler activations: effective kernel support for the user-level management of parallelism
ACM Transactions on Computer Systems (TOCS)
Networked virtual environments
I3D '92 Proceedings of the 1992 symposium on Interactive 3D graphics
Elements of interaction: Turing award lecture
Communications of the ACM
Distributed last call optimization for portable parallel logic programming
ACM Letters on Programming Languages and Systems (LOPLAS)
ALBA: a parallel language based on actors
ACM SIGPLAN Notices
ActorSpace: an open distributed programming paradigm
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Teaching object-oriented programming or using the object model to teach software engineering
OOPSLA '92 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Introducing concurrency to a sequential language
Communications of the ACM
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
A survey of implementations of concurrent, parallel and distributed Smalltalk
ACM SIGPLAN Notices
Equal rights for functional objects or, the more things change, the more they are the same
ACM SIGPLAN OOPS Messenger
CHARM++: a portable concurrent object oriented system based on C++
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Methods for organizational development
COCS '93 Proceedings of the conference on Organizational computing systems
Proceedings of the 1993 ACM/IEEE conference on Supercomputing
CLAP: an object-oriented programming system for distributed memory parallel machines
ACM SIGPLAN OOPS Messenger
An object-based approach to protocol software implementation
SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications
Type-theoretic foundations for concurrent object-oriented programing
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
A distributed garbage collector for active objects
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
User interface system based on active objects
SETA2 Proceedings of the second international symposium on Environments and tools for Ada
Integrating status and event phenomena in formal specifications of interactive systems
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
ProperHITEC: a portable, parallel, object-oriented approach to sequential test generation
DAC '94 Proceedings of the 31st annual Design Automation Conference
HyperActive: extending an open hypermedia architecture to support agency
ACM Transactions on Computer-Human Interaction (TOCHI)
Obtaining sequential efficiency for concurrent object-oriented languages
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrent and Distributed Garbage Collection of Active Objects
IEEE Transactions on Parallel and Distributed Systems
Analyzing due process in the workplace
ACM Transactions on Information Systems (TOIS) - Special issue: selected papers from the conference on office information systems
ACM Transactions on Information Systems (TOIS) - Special issue: selected papers from the conference on office information systems
RTsynchronizer: language support for real-time specifications in distributed systems
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Delegation versus concatenation or cloning is inheritance too
ACM SIGPLAN OOPS Messenger
Efficient support of location transparency in concurrent object-oriented programming languages
Supercomputing '95 Proceedings of the 1995 ACM/IEEE conference on Supercomputing
A hybrid execution model for fine-grained languages on distributed memory multicomputers
Supercomputing '95 Proceedings of the 1995 ACM/IEEE conference on Supercomputing
ICS '95 Proceedings of the 9th international conference on Supercomputing
Reasoning about meta level activities in open distributed systems
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
A modular approach to real-time synchronization
ACM SIGPLAN OOPS Messenger - Special issue: object-oriented real-time systems
Drawings on napkins, video-game animation, and other ways to program computers
Communications of the ACM
A Teradata content-based multimedia object manager for massively parallel architectures
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Linguistic paradigms for programming complex distributed systems
ACM Computing Surveys (CSUR)
A flexible operation execution model for shared distributed objects
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Semantic-based visualization for parallel object-oriented programming
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The reflexive CHAM and the join-calculus
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Actor based parallel VHDL simulation using time warp
PADS '96 Proceedings of the tenth workshop on Parallel and distributed simulation
Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation
Automatic parallelization of object-oriented programming languages using tuple space
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
OOPSLA '93 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
ICS '97 Proceedings of the 11th international conference on Supercomputing
Compositional features for promoting awareness within and across cooperative applications
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
A message-based real-time model by object-oriented technique
ACM SIGOPS Operating Systems Review
Constructive Protocol Specification Using Cicero
IEEE Transactions on Software Engineering
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
Pitfalls of agent-oriented development
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Secure computing with the actor paradigm
NSPW '92-93 Proceedings on the 1992-1993 workshop on New security paradigms
Architecture of a message-driven processor
25 years of the international symposia on Computer architecture (selected papers)
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Customization and composition of distributed objects: middleware abstractions for policy management
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Concurrency and distribution in object-oriented programming
ACM Computing Surveys (CSUR)
Garbage collecting the Internet: a survey of distributed garbage collection
ACM Computing Surveys (CSUR)
Coordinating autonomous entities with STL
ACM SIGAPP Applied Computing Review - Special issue on coodination languages and models
Modeling mobile IP in mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
An object-oriented environment for simulation and evaluation of architectures
ANSS '92 Proceedings of the 25th annual symposium on Simulation
An architecture for mostly functional languages
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Locality in distributed computations
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
A unified distributed simulation system
WSC' 90 Proceedings of the 22nd conference on Winter simulation
ACM Transactions on Programming Languages and Systems (TOPLAS)
An experiment on a concurrent object-oriented programming language
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Agent-based design of distributed hypertext
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
A Distributed Object-Oriented Language for Heterogeneous Computer Networks
The Journal of Supercomputing
A coordination language for mobile components
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Making the connection: programming with animated small world
Proceedings of the 5th annual SIGCSE/SIGCUE ITiCSEconference on Innovation and technology in computer science education
A Control-Flow Analysis for a Calculus of Concurrent Objects
IEEE Transactions on Software Engineering
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
Exclusion for composite objects
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Experience with memory management in open Linda systems
Proceedings of the 2001 ACM symposium on Applied computing
Coordination languages and their significance
Communications of the ACM
Object oriented modelling with object petri nets
Concurrent object-oriented programming and petri nets
CLOWN as a testbed for concurrent object-oriented concepts
Concurrent object-oriented programming and petri nets
CoOperative objects: principles, use and implementation
Concurrent object-oriented programming and petri nets
High level transition systems for communicating agents
Concurrent object-oriented programming and petri nets
An actor algebra for specifying distributed systems: The hurried philosophers case study
Concurrent object-oriented programming and petri nets
Formal reasoning about actor programs using temporal logic
Concurrent object-oriented programming and petri nets
Flexible types for a concurrent model
Concurrent object-oriented programming and petri nets
Schedulability analysis of real time actor systems using coloured petri nets
Concurrent object-oriented programming and petri nets
Abstractions for mobile computations
Secure Internet programming
An enhanced thread synchronization mechanism for Java
Software—Practice & Experience
Generic operational decomposition for concurrent systems: semantics and reflection
Progress in computer research
Events in Haskell, and how to implement them
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Challenges designing next-generation middleware systems
Communications of the ACM - Adaptive middleware
Safe 'composability' of middleware services
Communications of the ACM - Adaptive middleware
A modular approach to build structured event-based systems
Proceedings of the 2002 ACM symposium on Applied computing
Using passive object garbage collection algorithms for garbage collection of active objects
Proceedings of the 3rd international symposium on Memory management
A soft computing framework for adaptive agents
Soft computing agents
Specifying agent observable behaviour
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Formal methods for distributed processing
Actors: a model for reasoning about open distributed systems
Formal methods for distributed processing
Reflection in concurrent object-oriented languages
Formal methods for distributed processing
DynamiCS: An Actor-Based Framework for Negotiating Mobile Agents
Electronic Commerce Research - Special issue on agents in electronic commerce
Generic operational decomposition for concurrent systems: semantics and reflection
Progress in computer research
Workflow enactment with continuation and future objects
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Programming dynamically reconfigurable open systems with SALSA
ACM SIGPLAN Notices
Towards reusable real-time objects
Annals of Software Engineering
GEAMAS: A Generic Architecture for Agent-Oriented Simulations ofComplex Processes
Applied Intelligence
A Concurrent, Distributed Architecture for Diagnostic Reasoning
User Modeling and User-Adapted Interaction
A survey of theories for mobile agents
World Wide Web
Proceedings of the 1994 ACM/IEEE conference on Supercomputing
A Roadmap of Agent Research and Development
Autonomous Agents and Multi-Agent Systems
Naming the Unnamable: Socionics or the Sociological Turn of/to Distributed Artificial Intelligence
Autonomous Agents and Multi-Agent Systems
The JavaSeal Mobile Agent Kernel
Autonomous Agents and Multi-Agent Systems
Case Studies in Security and Resource Management for Mobile Object Systems
Autonomous Agents and Multi-Agent Systems
Composable Semantic Models for Actor Theories
Higher-Order and Symbolic Computation
Software Engineering with Agents: Pitfalls and Pratfalls
IEEE Internet Computing
ROME: Distributing C++ Object Systems
IEEE Parallel & Distributed Technology: Systems & Technology
Implementing Concurrent Object-Oriented Languages on Multicomputers
IEEE Parallel & Distributed Technology: Systems & Technology
IEEE Concurrency
Specification by-Example of Virtual Agents Behavior
IEEE Transactions on Visualization and Computer Graphics
Adaptive Parallelism and Piranha
Computer
What's Ahead for Embedded Software?
Computer
User-Interface Management Control and Communication
IEEE Software
An Introduction to the Specification Language SPEC
IEEE Software
A Data/Knowledge Paradigm for the Modeling and Design of Operations Support Systems
IEEE Transactions on Knowledge and Data Engineering
Agents in a Nutshell-A Very Brief Introduction
IEEE Transactions on Knowledge and Data Engineering
Capsules: A Shared Memory Access Mechanism for Concurrent C/C++
IEEE Transactions on Parallel and Distributed Systems
Asynchronous Problems on SIMD Parallel Computers
IEEE Transactions on Parallel and Distributed Systems
A Skill Refinement Learning Model for Rule-Based Expert Systems
IEEE Expert: Intelligent Systems and Their Applications
Software Bottlenecking in Client-Server Systems and Rendezvous Networks
IEEE Transactions on Software Engineering
Compositional Programming Abstractions for Mobile Computing
IEEE Transactions on Software Engineering
An Actor-Based Architecture for Customizing and Controlling Agent Ensembles
IEEE Intelligent Systems
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Actor theories in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Specification Diagrams for Actor Systems
Higher-Order and Symbolic Computation
A component-based approach to modeling and simulating mixed-signal and hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Seal: A Framework for Secure Mobile Computations
ICCL'98 Workshop on Internet Programming Languages
Support for Extensibility and Reusability in a Concurrent Object-Oriented Programming Language
IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
Parallel Implementations of Irregular Problems Using High-Level Actor Language
IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
Optimizing COOP Languages: Study of a Protein Dynamics Program
IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Mobile Computation: Calculus and Languages (A Tutorial)
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
An Open Approach to Distribution, Awareness and Cooperative Work
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Towards a Toolkit for Actor System Specification
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Traveler: The Apiary Observatory
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Inheritance and Synchronization in Concurrent OOP
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
A Language Framework for Multi-Object Coordination
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Meta-level Programming with CodA
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Semantic Models for Distributed Object Reflection
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Coordination Technologies for Managing Information System Evolution
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Using a Formal Framework for Agent System Design
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
TL a Language to Create Games for Visually Impaired Children
ICCHP '02 Proceedings of the 8th International Conference on Computers Helping People with Special Needs
Macroservers: An Object-Based Programming and Execution Model for Processor-in-Memory Arrays
ISHPC '00 Proceedings of the Third International Symposium on High Performance Computing
Towards a Proof-Theoretic Foundation for Actor Specification and Verification
Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents
The ParCel-2 Programming Language (Research Note)
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
Épidaure: A Java Distributed Tool for Building DAI Applications
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Typing Non-uniform Concurrent Objects
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Design and Performance of Asynchronous Method Handling for CORBA
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
A Reflective Middleware Framework for Communication in Dynamic Environments
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
On a Uniform Representation of Transformation Systems
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Implementing Real-Time Actors with MetaJava
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages
ISCOPE '98 Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Coordination Among Mobile Objects
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
A Hierarchical Model for Coordination of Concurrent Activities
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
The STL++ Coordination Language: A Base for Implementing Distributed Multi-agent Applications
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
MobileML: A Programming Language for Mobile Computation
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Towards a Computational Model for UFO
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
Using Cohort-Scheduling to Enhance Server Performance
ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
A Parallel VRML97 Server Based on Active Objects
VECPAR '00 Selected Papers and Invited Talks from the 4th International Conference on Vector and Parallel Processing
The UniForM WorkBench - A Higher Order Tool Integration Framework
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Verbal Coaching During a Real-Time Task
ITS '98 Proceedings of the 4th International Conference on Intelligent Tutoring Systems
Converse: An Interoperable Framework for Parallel Programming
IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
High-Level Parallel Programming of an Adaptive Mesh Application Using the Illinois Concert System
ISCOPE '98 Proceedings of the Second International Symposium on Computing in Object-Oriented Parallel Environments
Gilgamesh: a multithreaded processor-in-memory architecture for petaflops computing
Proceedings of the 2002 ACM/IEEE conference on Supercomputing
Separating computation, coordination and configuration
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
A theory of may testing for actors
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Manipulating Software Semantics with Unified Computational Model and Software Quark Model
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
On the Interaction of Mobile Processes and Objects
HCW '98 Proceedings of the Seventh Heterogeneous Computing Workshop
Modular Heterogeneous System Development: A Critical Analysis of Java
HCW '98 Proceedings of the Seventh Heterogeneous Computing Workshop
Parallel simulated annealing strategies for VLSI cell placement
VLSID '96 Proceedings of the 9th International Conference on VLSI Design: VLSI in Mobile Communication
Parallel Genetic Algorithms for Simulation-Based Sequential Circuit Test Generation
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
Object-oriented support for specification of distributed protocols
IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Design and Implementation of a Composable Reflective Middleware Framework
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
ACM SIGPLAN Notices
Agent Paradigm in Clinical Large-Scale Data Mining Environment
ICCI '03 Proceedings of the 2nd IEEE International Conference on Cognitive Informatics
SynchNet: a Petri net based coordination language for distributed objects
Proceedings of the 2nd international conference on Generative programming and component engineering
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Dealing efficiently with data-center disasters
Journal of Parallel and Distributed Computing
Proof-theoretic foundations for the design of actor systems
Mathematical Structures in Computer Science
A specification logic for concurrent object-oriented programming
Mathematical Structures in Computer Science
A foundation for actor computation
Journal of Functional Programming
Principle-based parsing without overgeneration
ACL '93 Proceedings of the 31st annual meeting on Association for Computational Linguistics
Encapsulating concurrency with Early-Reply
OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Object-oriented parallel parsing for context-free grammars
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 2
Efficient Decentralized Monitoring of Safety in Distributed Systems
Proceedings of the 26th International Conference on Software Engineering
A formal model for reasoning about adaptive QoS-enabled middleware
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modern concurrency abstractions for C#
ACM Transactions on Programming Languages and Systems (TOPLAS)
Decentralized Resource Control for Multi-Agent Systems
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
A reactive system architecture for building fault-tolerant distributed applications
Journal of Systems and Software
The ThreadMill architecture for stream-oriented human communication analysis applications
Proceedings of the 6th international conference on Multimodal interfaces
Mirrors: design principles for meta-level facilities of object-oriented programming languages
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Remote method invocation as a first-class citizen
Distributed Computing
Verifying mutual exclusion and liveness properties with split preconditions
Journal of Computer Science and Technology
A form-based meta-model for software composition
Science of Computer Programming - Special issue on new software composition concepts
A scalable approach to multi-agent resource acquisition and control
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A layered architecture for real-time distributed multi-agent systems
SELMAS '05 Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Service orchestration patterns: graduating from state of the practice to state of the art
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Counting Interface Automata and their Application in Static Analysis of Actor Models
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Model-centric software architecture reconstruction
Software—Practice & Experience
Physically-grounded interface architecture for human-robot cooperation
CHI '92 Posters and Short Talks of the 1992 SIGCHI Conference on Human Factors in Computing Systems
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Ambient references: addressing objects in mobile networks
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Verification and refinement with fine-grained action-based concurrent objects
Theoretical Computer Science - Formal methods for components and objects
Proceedings of the 38th conference on Winter simulation
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
Interactive Systems with Registers and Voices
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Worldwide computing: Adaptive middleware and programming technology for dynamic Grid environments
Scientific Programming - Dynamic Grids and Worldwide Computing
Extending the ARC model with generative coordination
Proceedings of the 2007 ACM symposium on Applied computing
Supporting reconfigurable object distribution for customized web applications
Proceedings of the 2007 ACM symposium on Applied computing
Proceedings of the conference on Design, automation and test in Europe
The Internet Operating System: Middleware for Adaptive Distributed Computing
International Journal of High Performance Computing Applications
International Journal of High Performance Computing Applications
An integrated approach to coordination description in distributed multimedia applications
Integrated Computer-Aided Engineering
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
ACM Turing award lectures
Proceedings of the 20th annual conference on Integrated circuits and systems design
Malleable applications for scalable high performance computing
Cluster Computing
Journal of Systems and Software
simpA: an agent-oriented approach for prototyping concurrent applications on top of Java
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Open, dynamic electronic editions of multidimensional documents
IMSA'07 IASTED European Conference on Proceedings of the IASTED European Conference: internet and multimedia systems and applications
Automated distributed simulation in Ptolemy II
PDCN'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: parallel and distributed computing and networks
Mirages: behavioral intercession in a mirror-based architecture
Proceedings of the 2007 symposium on Dynamic languages
Architecture design principles to support adaptive service orchestration in WSN applications
ACM SIGBED Review - Special issue on the workshop on wireless sensor network architecture (April-2007)
Visualization of cryptographic protocols with GRACE
Journal of Visual Languages and Computing
Linguistic symbiosis between actors and threads
ICDL '07 Proceedings of the 2007 international conference on Dynamic languages: in conjunction with the 15th International Smalltalk Joint Conference 2007
Conflict management in PDEVS: an experience in modelling and simulation of time petri nets
Proceedings of the 2007 Summer Computer Simulation Conference
Comparing Three Coordination Models: Reo, ARC, and RRD
Electronic Notes in Theoretical Computer Science (ENTCS)
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
A preventive interaction model applied to the management of spare parts
SEPADS'05 Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems
BUST: enabling scalable service orchestration
Proceedings of the 2nd international conference on Scalable information systems
Stage: exploring erlang style concurrency in ruby
Proceedings of the 1st international workshop on Multicore software engineering
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards resilient partitioning of pervasive computing services
Proceedings of the 3rd ACM workshop on Software engineering for pervasive services
International Journal of Distributed Sensor Networks - Sensor Networks, Ubiquitous and Trustworthy Computing
Towards a domain-specific aspect language for leasing in mobile ad hoc networks
Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages
A mailbox ownership based mechanism for curbing spam
Computer Communications
Linguistic symbiosis between event loop actors and threads
Computer Languages, Systems and Structures
A Fault Tolerant Agent Communication Language for Supporting Web Agent Interaction
Agent Communication II
Composing Different Models of Computation in Kepler and Ptolemy II
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
Distributed Coordination of Massively Multi-Agent Systems
Massively Multi-Agent Technology
Experimenting with Language Support for Proximity in Ambient-Oriented Programming
Engineering Environment-Mediated Multi-Agent Systems
CoBoxes: Unifying Active Objects and Structured Heaps
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
Languages, Methodologies and Development Tools for Multi-Agent Systems
Externalizing Java Server Concurrency with CAL
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Software-Intensive Systems and New Computing Paradigms
Cyber-Physical Systems and Events
Software-Intensive Systems and New Computing Paradigms
gluepy: A Simple Distributed Python Programming Framework for Complex Grid Environments
Languages and Compilers for Parallel Computing
Scala Actors: Unifying thread-based and event-based programming
Theoretical Computer Science
Heterogeneous composition of models of computation
Future Generation Computer Systems
Fine-grained dynamic adaptation of distributed components
Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
Proceedings of the International Conference on Advances in Computing, Communication and Control
Actors in a new "highly parallel" world
Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010
The Complexity of Predicting Atomicity Violations
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Formal Specification and Analysis of Timing Properties in Software Systems
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Modeling a multi-queue network node with a fuzzy predictor
Fuzzy Sets and Systems
Classes and inheritance in actor-oriented design
ACM Transactions on Embedded Computing Systems (TECS)
A framework for managing the life-cycle of event-driven, embedded applications
Journal of Embedded Computing - Design and Optimization for High Performance Embedded Systems
Ambiance: A Mobile Agent Platform for End-User Programmable Ambient Systems
Proceedings of the 2007 conference on Advances in Ambient Intelligence
Towards an actor-based concurrent machine model
Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems
Resilient actors: a runtime partitioning model for pervasive computing services
Proceedings of the 2009 international conference on Pervasive services
The ARC Programming Model -- Language Constructs for Coordination
Electronic Notes in Theoretical Computer Science (ENTCS)
IWMSE '09 Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering
Computational Agents to Model Knowledge - Theory, and Practice in Visual Surveillance
IWINAC '09 Proceedings of the 3rd International Work-Conference on The Interplay Between Natural and Artificial Computation: Part I: Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy
Asserting and checking determinism for multithreaded programs
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Actor frameworks for the JVM platform: a comparative analysis
PPPJ '09 Proceedings of the 7th International Conference on Principles and Practice of Programming in Java
Exploring Multi-Paradigm Modeling Techniques
Simulation
A Graphical User Interface for Maude-NPA
Electronic Notes in Theoretical Computer Science (ENTCS)
Distributed Simulation of RePast Models over HLA/Actors
DS-RT '09 Proceedings of the 2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications
Open, dynamic electronic editions of multidimensional documents
EurolMSA '07 Proceedings of the Third IASTED European Conference on Internet and Multimedia Systems and Applications
Actors and Logical Analysis of Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
The Role of Agent Interaction in Models of Computing: Panelist Reviews
Electronic Notes in Theoretical Computer Science (ENTCS)
OverView: A Framework for Generic Online Visualization of Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordination Models Based on a Formal Model of Distributed Object Reflection
Electronic Notes in Theoretical Computer Science (ENTCS)
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca
Electronic Notes in Theoretical Computer Science (ENTCS)
A distributed approach for multiple model diagnosis of physical systems
Information Sciences: an International Journal
Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages
Dynamic synchronization: a synchronization model through behavioral reflection
IWST '09 Proceedings of the International Workshop on Smalltalk Technologies
Default interactions for multi-agent simulations of complex organizations
Proceedings of the International Workshop on Enterprises & Organizational Modeling and Simulation
When concurrent control meets functional requirements, or Z + petri-nets
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Actors that unify threads and events
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Object-oriented coordination in mobile ad hoc networks
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
UML behavior: inheritance and implementation in current object-oriented languages
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Interconnecting objects via contracts
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
An exact correspondence between a typed pi-calculus and polarised proof-nets
Theoretical Computer Science
Formal analysis of policy-based self-adaptive systems
Proceedings of the 2010 ACM Symposium on Applied Computing
DiffServ PBAC design with optimization method
IPOM'07 Proceedings of the 7th IEEE international conference on IP operations and management
The context-dependent role model
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Rebeca: theory, applications, and tools
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Reflecting on aspect-oriented programming, metaprogramming, and adaptive distributed monitoring
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Coqa: concurrent objects with quantized atomicity
CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction
Implementing joins using extensible pattern matching
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Actors with multi-headed message receive patterns
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Objective coordination in multi-agent system engineering: design and implementation
Objective coordination in multi-agent system engineering: design and implementation
Collecting hollywood's garbage: avoiding space-leaks in composite events
Proceedings of the 2010 international symposium on Memory management
DETERMIN: inferring likely deterministic specifications of multithreaded programs
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Writing concurrent desktop applications in an actor-based programming model
Proceedings of the 3rd International Workshop on Multicore Software Engineering
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Communications of the ACM
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Actor-based slicing techniques for efficient reduction of Rebeca models
Science of Computer Programming
Computers and Electrical Engineering
A domain-specific approach to architecturing error handling in pervasive computing
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Task types for pervasive atomicity
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Many-core virtual machines: decoupling abstract from concrete concurrency
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Comparing three coordination models: Reo, ARC, and PBRD
Science of Computer Programming
simpA: An agent-oriented approach for programming concurrent applications on top of Java
Science of Computer Programming
Negotiating multimedia advertising with attention owners
Proceedings of the international conference on Multimedia
Model-based specification of timing requirements
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
JCoBox: generalizing active objects to concurrent components
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Scaling Hierarchical N-body Simulations on GPU Clusters
Proceedings of the 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis
Safely updating running software: tranquility at the object level
Proceedings of the 7th Workshop on Reflection, AOP and Meta-Data for Software Evolution
The parallel cellular programming model
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
Modeling languages for real-time and embedded systems: requirements and standards-based solutions
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Context oriented programming in highly concurrent systems
Proceedings of the 2nd International Workshop on Context-Oriented Programming
Dynamic resource reallocation between deployment components
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Communicating memory transactions
Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
The F# asynchronous programming model
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Prototyping distributed multimedia systems using communicating real-time state machines
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Validating timed models of deployment components with parametric concurrency
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Towards liquid service oriented architectures
Proceedings of the 20th international conference companion on World wide web
Scribbling interactions with a formal foundation
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Some equivalences on ATC: actors with temporal constraints
SMO'05 Proceedings of the 5th WSEAS international conference on Simulation, modelling and optimization
REME-D: a reflective epidemic message-oriented debugger for ambient-oriented applications
Proceedings of the 2011 ACM Symposium on Applied Computing
Actor-based parallel dataflow analysis
CC'11/ETAPS'11 Proceedings of the 20th international conference on Compiler construction: part of the joint European conferences on theory and practice of software
Toward a unified object model for cyber-physical systems
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications
Models of Rate Restricted Communication for Concurrent Objects
Electronic Notes in Theoretical Computer Science (ENTCS)
Spatial hardware implementation for sparse graph algorithms in GraphStep
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
State/event-based LTL model checking under parametric generalized fairness
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
CREST: principled foundations for decentralized systems
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
Emerson: accessible scripting for applications in an extensible virtual world
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
Distributed Simulation of Situated Multi-agent Systems
DS-RT '11 Proceedings of the 2011 IEEE/ACM 15th International Symposium on Distributed Simulation and Real Time Applications
Ten years of analyzing actors: Rebeca experience
Formal modeling
Mathematical models of object-based distributed systems
Formal modeling
Model feasible interactions in distributed real-time systems
Formal modeling
Formal modeling
Towards a system model for ensembles
Formal modeling
Actor-eUML for concurrent programming
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
An ACL for specifying fault-tolerant protocols
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
Supporting Deadline Constrained Distributed Computations on Grids
GRID '11 Proceedings of the 2011 IEEE/ACM 12th International Conference on Grid Computing
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
A feature model of actor, agent, and object programming languages
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Behavioral programming, decentralized control, and multiple time scales
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
AmbientTalk: modern actors for modern networks
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
A framework for managing the solution life cycle of event-driven pervasive applications
EUC'06 Proceedings of the 2006 international conference on Embedded and Ubiquitous Computing
Smooth scaling ahead: progressive MAS simulation from single PCs to grids
MABS'04 Proceedings of the 2004 international conference on Multi-Agent and Multi-Agent-Based Simulation
Event-Based programming without inversion of control
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
A component language for structured parallel programming
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
ICMLC'05 Proceedings of the 4th international conference on Advances in Machine Learning and Cybernetics
Ambient-Oriented exception handling
Advanced Topics in Exception Handling Techniques
Evaluating ordering heuristics for dynamic partial-order reduction techniques
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Adaptive agent allocation for massively multi-agent applications
MMAS'04 Proceedings of the First international conference on Massively Multi-Agent Systems
Hierarchical resource usage coordination for large-scale multi-agent systems
MMAS'04 Proceedings of the First international conference on Massively Multi-Agent Systems
Multi-core code in a cluster – a meaningful option?
GPC'10 Proceedings of the 5th international conference on Advances in Grid and Pervasive Computing
Actor garbage collection using vertex-preserving actor-to-object graph transformations
GPC'10 Proceedings of the 5th international conference on Advances in Grid and Pervasive Computing
S: a scripting language for high-performance RESTful web services
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming
Efficient agent communication in multi-agent systems
Software Engineering for Multi-Agent Systems III
Distributed garbage collection for mobile actor systems: the pseudo root approach
GPC'06 Proceedings of the First international conference on Advances in Grid and Pervasive Computing
Ambient-Oriented programming in ambienttalk
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Actors, roles and coordinators — a coordination model for open distributed and embedded systems
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Compositional semantics of an actor-based language using constraint automata
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Static safety for an actor dedicated process calculus by abstract interpretation
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Concurrency, Compositionality, and Correctness
Automated systematic testing of open distributed programs
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Symbolic execution of concurrent objects in CLP
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
ABS: a core language for abstract behavioral specification
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
ASPfun: A typed functional active object calculus
Science of Computer Programming
Symbolic execution of Reo circuits using constraint automata
Science of Computer Programming
Object-oriented refinement and proof using behaviour functions
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
OO-motivated process algebra: a calculus for CORBA-like systems
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Dreams: a framework for distributed synchronous coordination
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Model-Driven Development with eUML-ARC
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Active objects as atomic control structures in BaLinda K
Computer Languages
Carla: A rule language for specifying communications architectures
Computer Languages
Computer Languages
Disciplined concurrent programming using tasks with effects
HotPar'12 Proceedings of the 4th USENIX conference on Hot Topics in Parallelism
An architecture for dynamic service-oriented computing in networked embedded systems
Software Service and Application Engineering
A probabilistic framework for object-oriented modeling and analysis of distributed systems
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Haskell vs. f# vs. scala: a high-level language features and parallelism support comparison
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing
Analysis of may-happen-in-parallel in concurrent objects
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
TransDPOR: a novel dynamic partial-order reduction technique for testing actor programs
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Using coordinated actors to model families of distributed systems
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Scoped synchronization constraints for large scale actor systems
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
PaCE: a data-flow coordination language for asynchronous network-based applications
SC'12 Proceedings of the 11th international conference on Software Composition
Interactive Systems with Registers and Voices
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
ABSTRACT SEMANTICS FOR ESM SYSTEMS
Fundamenta Informaticae
Molecule: using monadic and streaming I/O to compose process networks on the JVM
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
From clarity to efficiency for distributed algorithms
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Integrating task parallelism with actors
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
NOW: Orchestrating services in a nomadic network using a dedicated workflow language
Science of Computer Programming
Agent spaces: a scalable architecture for distributed logic agents
Proceedings of the 2012 ACM Research in Applied Computation Symposium
Robust evaluation of expressions by distributed virtual machines
UCNC'12 Proceedings of the 11th international conference on Unconventional Computation and Natural Computation
Design and analysis of cloud-based architectures with KLAIM and maude
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Formal modeling of resource management for cloud architectures: an industrial case study
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
High-Level executable specifications of distributed algorithms
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
A relational trace logic for simple hierarchical actor-based component systems
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Soter: an automatic safety verifier for erlang
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Elastic Scalable Cloud Computing Using Application-Level Migration
UCC '12 Proceedings of the 2012 IEEE/ACM Fifth International Conference on Utility and Cloud Computing
Modeling resource-aware virtualized applications for the cloud in real-time ABS
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Modeling and verification of probabilistic actor systems using prebeca
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
User-defined schedulers for real-time concurrent objects
Innovations in Systems and Software Engineering
Modeling performance of a parallel streaming engine: bridging theory and costs
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
Benchmarking communication in actor- and agent-based languages
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
aPET: a test case generation tool for concurrent objects
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
BigActors: a model for structure-aware computation
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
Agent-based interpretations of classic network models
Computational & Mathematical Organization Theory
Actor scheduling for multicore hierarchical memory platforms
Proceedings of the twelfth ACM SIGPLAN workshop on Erlang
Fully concurrent garbage collection of actors on many-core machines
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Why do scala developers mix the actor model with other concurrency models?
ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
On the verification of timed discrete-event models
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
Tanks: multiple reader, single writer actors
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Semantics-preserving sharing actors
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Concurrent object-oriented programming with agent-oriented abstractions: the ALOO approach
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Structured reasoning about actor systems
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Analysing timed Rebeca using McErlang
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Native actors: a scalable software platform for distributed, heterogeneous environments
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Load balancing non-uniform parallel computations
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Towards benchmarking actor- and agent-based programming languages
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Towards a compositional reflective architecture for actor-based systems
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Notions of aliasing and ownership
Aliasing in Object-Oriented Programming
Science of Computer Programming
A survey of support for structured communication in concurrency control models
Journal of Parallel and Distributed Computing
Accurate Resource Prediction for Hybrid IaaS Clouds Using Workload-Tailored Elastic Compute Units
UCC '13 Proceedings of the 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing
Self-Adaptive Resource Allocation in Cloud Applications
UCC '13 Proceedings of the 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing
Distributed debugging for mobile networks
Journal of Systems and Software
Reducing the verification cost of evolving product families using static analysis techniques
Science of Computer Programming
Hi-index | 0.14 |