A semantics of multiple inheritance.
Proc. of the international symposium on Semantics of data types
Communicating sequential processes
Communicating sequential processes
Structure and interpretation of computer programs
Structure and interpretation of computer programs
Occam programming: a practical approach
Occam programming: a practical approach
Objects as closures: abstract semantics of object-oriented languages
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
Facile: a symmetric integration of concurrent and functional programming
International Journal of Parallel Programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
CML: A higher concurrent language
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
ML for the working programmer
The revised report on the syntactic theories of sequential control and state
Theoretical Computer Science
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Call by name, assignment, and the lambda calculus
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Object-oriented programming without recursive types
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A calculus of mobile processes, II
Information and Computation
Object-oriented type systems
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Nondeterministic extensions of untyped &lgr;-calculus
Information and Computation
The reflexive CHAM and the join-calculus
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The π-calculus in direct style
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Correctness of monadic state: an imperative call-by-need calculus
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Communications of the ACM
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Monitors: an operating system structuring concept
Communications of the ACM
Communications of the ACM
The next 700 programming languages
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
A Theory of Objects
Java Language Specification, Second Edition: The Java Series
Java Language Specification, Second Edition: The Java Series
Principal type-schemes for functional programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Introduction to Functional Programming
Introduction to Functional Programming
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Assignments for Applicative Languages
Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Towards a Lambda-Calculus for Concurrent and Communicating Systems
TAPSOFT '89/CAAP '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming
Mobile Petri Nets
A foundation for actor computation
Journal of Functional Programming
LISP 1.5 Programmer's Manual
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
Programming in Modula-2
Hi-index | 0.00 |
Functional nets combine key ideas of functional programming and Petri nets to yield a simple and general programming notation. They have their theoretical foundation in Join calculus. This paper gives an overview of functional nets as a kernel programming language, it presents an object-based version of Join calculus, and it shows how the two relate.