On the public citation graph
Facile: A symmetric integration of concurrent and functional programming
0 signed · 166 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-08766-4openalex-snapshot
The Vienna Development Method: The Meta-Language
inferredcites →https://doi.org/10.1007/3-540-10235-3openalex-snapshot
A Calculus of Communicating Systems
inferredcites →https://doi.org/10.1007/3-540-15670-4_10openalex-snapshot
Lectures on a calculus for communicating systems
inferredcites →https://doi.org/10.1007/3-540-15670-4_19openalex-snapshot
The ESTEREL synchronous programming language and its mathematical semantics
inferredcites →https://doi.org/10.1007/3-540-15670-4_20openalex-snapshot
An implementation model of rendezvous communication
inferredcites →https://doi.org/10.1007/3-540-15975-4_29openalex-snapshot
The categorical abstract machine
inferredcites →https://doi.org/10.1007/3-540-15975-4_31openalex-snapshot
Secd-m: a virtual machine for applicative programming
inferredcites →https://doi.org/10.1007/3-540-17660-8_55openalex-snapshot
SMoLCS-driven concurrent calculi
inferredcites →https://doi.org/10.1007/3-540-17945-3_3openalex-snapshot
Functional programming and communicating processes
inferredcites →https://doi.org/10.1007/3-540-18317-5_14openalex-snapshot
Pomset interpretations of parallel functional programs
inferredcites →https://doi.org/10.1007/3-540-50939-9_130openalex-snapshot
Towards a lambda-calculus for concurrent and communicating systems
inferredcites →https://doi.org/10.1007/3-540-50940-2_36openalex-snapshot
FACILE: A symmetric integration of concurrent and functional programming
inferredcites →https://doi.org/10.1007/3-540-51285-3_52openalex-snapshot
The typed λ-calculus with first-class processes
inferredcites →https://doi.org/10.1007/bf02915446openalex-snapshot
A distributed operational semantics for CCS based on condition/event systems
inferredcites →https://doi.org/10.1007/bfb0022495openalex-snapshot
Some theoretical aspects of applicative multiprocessing
inferredcites →https://doi.org/10.1007/bfb0032073openalex-snapshot
Operational and algebraic semantics for facile: A symmetric integration of concurrent and functional programming
inferredcites →https://doi.org/10.1016/0096-0551(81)90077-1openalex-snapshot
Functional programming: Application and implementation
inferredcites →https://doi.org/10.1016/0169-7552(87)90085-7openalex-snapshot
Introduction to the ISO specification language LOTOS
inferredcites →https://doi.org/10.1016/0304-3975(75)90017-1openalex-snapshot
Call-by-name, call-by-value and the λ-calculus
inferredcites →https://doi.org/10.1016/0304-3975(83)90114-7openalex-snapshot
Calculi for synchrony and asynchrony
inferredcites →https://doi.org/10.1016/0304-3975(84)90067-7openalex-snapshot
Algèbre de processus et synchronisation
inferredcites →https://doi.org/10.1016/0307-904x(80)90170-5openalex-snapshot
Functional programming: application and implementation
inferredcites →https://doi.org/10.1016/s0019-9958(84)80025-xopenalex-snapshot
Process algebra for synchronous communication
inferredcites →https://doi.org/10.1093/comjnl/6.4.308openalex-snapshot
The Mechanical Evaluation of Expressions
inferredcites →https://doi.org/10.1109/32.6158openalex-snapshot
Integrated environments for formally well-founded design and simulation of concurrent systems
inferredcites →https://doi.org/10.1109/mspec.1984.6370238openalex-snapshot
Data-flow architecture: A decentralized structure based on the flow of data will permit future computers to operate at even higher speeds
inferredcites →https://doi.org/10.1145/15042.15043openalex-snapshot
Revised 3 report on the algorithmic language scheme
inferredcites →https://doi.org/10.1145/357980.358021openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/359576.359579openalex-snapshot
Can programming be liberated from the von Neumann style?
inferredcites →https://doi.org/10.1145/359576.359585openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/41625.41634openalex-snapshot
Environments as first class objects
inferredcites →https://doi.org/10.1145/4472.4478openalex-snapshot
MULTILISP: a language for concurrent symbolic computation
inferredcites →https://doi.org/10.1145/512644.512662openalex-snapshot
Operational semantics of a parallel object-oriented language
inferredcites →https://doi.org/10.1145/512644.512666openalex-snapshot
Distributed data structures in Linda
inferredcites →https://doi.org/10.1145/62115.62126openalex-snapshot
Restructuring Lisp programs for concurrent execution
inferredcites →https://doi.org/10.1145/62116.62126openalex-snapshot
Restructuring Lisp programs for concurrent execution
inferredcites →https://doi.org/10.1145/73560.73576openalex-snapshot
The theory and practice of first-class prompts
inferredcites →https://doi.org/10.1145/75277.75290openalex-snapshot
A calculus of higher order communicating systems
inferredcites →https://doi.org/10.1145/800055.802019openalex-snapshot
Queue-based multi-processing LISP
inferredcites →https://doi.org/10.1145/828.833openalex-snapshot
A Theory of Communicating Sequential Processes
inferredcites →https://doi.org/10.1145/960116.54015openalex-snapshot
Synchronous operations as first-class values
inferredcites →https://doi.org/10.1146/arcompsci.677openalex-snapshot
Annual Review of Computer Science
inferredcites →https://doi.org/10.48456/tr-81openalex-snapshot
The implementation of functional languages using custom hardware
inferredcites →https://doi.org/10.6083/1z40kt122openalex-snapshot
Marigold - a functional, flow-graph language
inferredcites →https://doi.org/10.7146/dpb.v15i208.7559openalex-snapshot
A Calculus of Communicating Systems with Label Passing
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1006/inco.1998.2723openalex-snapshot
Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing
inferred← citeshttps://doi.org/10.1006/inco.2000.3058openalex-snapshot
Language-based Performance Prediction for Distributed and Mobile Systems
inferred← citeshttps://doi.org/10.1006/inco.2001.3089openalex-snapshot
Resource Access Control in Systems of Mobile Agents
inferred← citeshttps://doi.org/10.1007/3-540-45699-6_7openalex-snapshot
An Introduction to Functional Nets
inferred← citeshttps://doi.org/10.1007/3-540-47959-7_6openalex-snapshot
Derivatives: A Construct for Internet Programming
inferred← citeshttps://doi.org/10.1007/3-540-48515-5_7openalex-snapshot
Implementing Eden — or: Dreams Become Reality
inferred← citeshttps://doi.org/10.1007/3-540-48753-0_18openalex-snapshot
An Ada95 Implementation of a Network Coordination Language with Code Mobility
inferred← citeshttps://doi.org/10.1007/3-540-49253-4_17openalex-snapshot
A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes
inferred← citeshttps://doi.org/10.1007/3-540-55599-4_135openalex-snapshot
A distributed protocol for channel-based communication with choice
inferred← citeshttps://doi.org/10.1007/3-540-55599-4_81openalex-snapshot
Asynchronous mobile processes and graph rewriting
inferred← citeshttps://doi.org/10.1007/3-540-56279-6_85openalex-snapshot
Higher order communicating processes with Value-Passing, Assignment and return of results
inferred← citeshttps://doi.org/10.1007/3-540-56596-5_47openalex-snapshot
Some issues in the semantics of facile distributed programming
inferred← citeshttps://doi.org/10.1007/3-540-56891-3_31openalex-snapshot
A calculus of value broadcasts
inferred← citeshttps://doi.org/10.1007/3-540-56891-3_5openalex-snapshot
The data-parallel categorical abstract machine
inferred← citeshttps://doi.org/10.1007/3-540-57208-2_9openalex-snapshot
On the reduction of chocs bisimulation to π-calculus bisimulation
inferred← citeshttps://doi.org/10.1007/3-540-57880-3_6openalex-snapshot
Programming with behaviors in an ML framework — The syntax and semantics of LCS
inferred← citeshttps://doi.org/10.1007/3-540-57887-0_124openalex-snapshot
A semantic theory for Concurrent ML
inferred← citeshttps://doi.org/10.1007/3-540-58715-2_126openalex-snapshot
Localities and failures (extended summary)
inferred← citeshttps://doi.org/10.1007/3-540-59293-8_196openalex-snapshot
Reasoning about higher-order processes
inferred← citeshttps://doi.org/10.1007/3-540-60249-6_43openalex-snapshot
From a concurrent λ-calculus to the π-calculus
inferred← citeshttps://doi.org/10.1007/3-540-60368-9_30openalex-snapshot
LEMMA: A distributed shared memory with global and local garbage collection
inferred← citeshttps://doi.org/10.1007/3-540-61042-1_56openalex-snapshot
The Concurrency Factory software development environment
inferred← citeshttps://doi.org/10.1007/3-540-61052-9_49openalex-snapshot
Compiler correctness for concurrent languages
inferred← citeshttps://doi.org/10.1007/3-540-61474-5_88openalex-snapshot
The Concurrency Factory: A development environment for concurrent systems
inferred← citeshttps://doi.org/10.1007/3-540-61604-7_45openalex-snapshot
Process calculus based upon evaluation to committed form
inferred← citeshttps://doi.org/10.1007/3-540-61739-6_36openalex-snapshot
Understanding mobile agents via a non-interleaving semantics for facile
inferred← citeshttps://doi.org/10.1007/3-540-62503-8_1openalex-snapshot
Logical and operational methods in the analysis of programs and systems
inferred← citeshttps://doi.org/10.1007/3-540-62503-8_16openalex-snapshot
Analysis of Facile programs: A case study
inferred← citeshttps://doi.org/10.1007/3-540-62503-8_5openalex-snapshot
An overview of mobile agent programming
inferred← citeshttps://doi.org/10.1007/3-540-62852-5_17openalex-snapshot
Performance-oriented implementation strategies for a mobile agent language
inferred← citeshttps://doi.org/10.1007/3-540-63165-8_203openalex-snapshot
Distributed processes and location failures
inferred← citeshttps://doi.org/10.1007/3-540-63383-9_83openalex-snapshot
Coordinating mobile agents via blackboards and access rights
inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_14openalex-snapshot
A Coherent Type System for a Concurrent, Functional and Imperative Programming Language
inferred← citeshttps://doi.org/10.1007/978-1-4615-1007-9openalex-snapshot
Mobile Computation with Functions
inferred← citeshttps://doi.org/10.1007/978-1-4615-1007-9_4openalex-snapshot
Confined Mobile Functions
inferred← citeshttps://doi.org/10.1007/978-3-322-86771-1_11openalex-snapshot
Parallele Programmiersprachen
inferred← citeshttps://doi.org/10.1007/978-3-540-24836-1_5openalex-snapshot
An Implementation of Session Types
inferred← citeshttps://doi.org/10.1007/978-3-540-25935-0_11openalex-snapshot
PiLib: A Hosted Language for Pi-Calculus Style Concurrency
inferred← citeshttps://doi.org/10.1007/bf02946490openalex-snapshot
Process Calculi for describing distributed systems
inferred← citeshttps://doi.org/10.1007/bfb0002787openalex-snapshot
NeXeme: A distributed scheme based on Nexus
inferred← citeshttps://doi.org/10.1007/bfb0023073openalex-snapshot
Process calculi at work — An account of the LCS project
inferred← citeshttps://doi.org/10.1007/bfb0028018openalex-snapshot
Full abstractness for a functional/concurrent language with higher-order value-passing
inferred← citeshttps://doi.org/10.1007/bfb0030636openalex-snapshot
Locality based Linda: Programming with explicit localities
inferred← citeshttps://doi.org/10.1007/bfb0032073openalex-snapshot
Operational and algebraic semantics for facile: A symmetric integration of concurrent and functional programming
inferred← citeshttps://doi.org/10.1007/bfb0055437openalex-snapshot
Using concurrent Haskell to develop views over an active repository
inferred← citeshttps://doi.org/10.1007/bfb0056623openalex-snapshot
From (sequential) Haskell to (parallel) Eden: An implementation point of view
inferred← citeshttps://doi.org/10.1007/s002360050164openalex-snapshot
Causality for debugging mobile agents
inferred← citeshttps://doi.org/10.1016/0167-6423(95)00017-8openalex-snapshot
A calculus of broadcasting systems
inferred← citeshttps://doi.org/10.1016/j.cl.2009.01.003openalex-snapshot
Cost-driven autonomous mobility
inferred← citeshttps://doi.org/10.1016/j.scico.2009.03.002openalex-snapshot
PiDuce — A project for experimenting Web services technologies
inferred← citeshttps://doi.org/10.1016/s0096-0551(02)00010-3openalex-snapshot
Distributed call-tracking for security
inferred← citeshttps://doi.org/10.1016/s0167-6423(96)00015-9openalex-snapshot
The automated transformation of abstract specifications of numerical algorithms into efficient array processor implementations
inferred← citeshttps://doi.org/10.1016/s0304-3975(00)00326-1openalex-snapshot
Distributed processes and location failures
inferred← citeshttps://doi.org/10.1016/s0304-3975(96)00063-1openalex-snapshot
A π-calculus with explicit substitutions
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00218-1openalex-snapshot
Process calculus based upon evaluation to committed form
inferred← citeshttps://doi.org/10.1016/s0304-3975(99)80003-6openalex-snapshot
Non-interleaving semantics for mobile processes
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00141-0openalex-snapshot
Resource Access Control in Systems of Mobile Agents
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80201-4openalex-snapshot
Linear Types for Higher Order Processes with First Class Directed Channels
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80205-1openalex-snapshot
Semagraph: the Theory and Practice of Term Graph Rewriting
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80471-2openalex-snapshot
Process Creation and Full Sequential Composition in a Name-Passing Calculus
inferred← citeshttps://doi.org/10.1017/s0956796823000114openalex-snapshot
Alice or Bob?: Process polymorphism in choreographies
inferred← citeshttps://doi.org/10.1017/s095679689700261xopenalex-snapshot
A foundation for actor computation
inferred← citeshttps://doi.org/10.1109/32.685256openalex-snapshot
KLAIM: a kernel language for agents interaction and mobility
inferred← citeshttps://doi.org/10.1109/aero.1995.468917openalex-snapshot
Cooperating diverse experts: a methodology to develop quality software for critical decision support systems
inferred← citeshttps://doi.org/10.1109/hips.1997.582964openalex-snapshot
The Eden coordination model for distributed memory systems
inferred← citeshttps://doi.org/10.1109/icci.1993.315370openalex-snapshot
A denotational model for the integration of concurrent, functional and imperative programming
inferred← citeshttps://doi.org/10.1109/icfem.1998.730570openalex-snapshot
A calculus based on the agent-place model
inferred← citeshttps://doi.org/10.1109/ipps.1998.669884openalex-snapshot
Protocols for non-deterministic communication over synchronous channels
inferred← citeshttps://doi.org/10.1109/roedunet.2017.8123733openalex-snapshot
RASSMon: Realtime asynchronous service status monitoring
inferred← citeshttps://doi.org/10.1109/wpdrts.1996.557430openalex-snapshot
Implementing distributed real-time control systems in a functional programming language
inferred← citeshttps://doi.org/10.1145/143165.143191openalex-snapshot
A semantics for ML concurrency primitives
inferred← citeshttps://doi.org/10.1145/1708046.1708058openalex-snapshot
Efficient parallel programming in Poly/ML and Isabelle/ML
inferred← citeshttps://doi.org/10.1145/213978.213986openalex-snapshot
Higher-order distributed objects
inferred← citeshttps://doi.org/10.1145/224164.224193openalex-snapshot
Compiler correctness for parallel languages
inferred← citeshttps://doi.org/10.1145/237721.237805openalex-snapshot
The reflexive CHAM and the join-calculus
inferred← citeshttps://doi.org/10.1145/242224.242297openalex-snapshot
Programming languages, analysis tools, and concurrency theory
inferred← citeshttps://doi.org/10.1145/268946.268978openalex-snapshot
A typed language for distributed mobile processes (extended abstract)
inferred← citeshttps://doi.org/10.1145/3498684openalex-snapshot
Pirouette: higher-order typed functional choreographies
inferred← citeshttps://doi.org/10.1145/99569.99830openalex-snapshot
Structured analysis—formal design, using stream and object oriented formal specifications
inferred← citeshttps://doi.org/10.1184/r1/6604097openalex-snapshot
CLL : a concurrent language built from logical principles
inferred← citeshttps://doi.org/10.1201/9781420040579.ch22openalex-snapshot
An Introduction to Operational Semantics
inferred← citeshttps://doi.org/10.14288/1.0051457openalex-snapshot
Multilevel debugging of parallel message passing programs
inferred← citeshttps://doi.org/10.1504/ijaose.2009.023640openalex-snapshot
MA-UML: a conceptual approach for mobile agents' modelling
inferred← citeshttps://doi.org/10.17192/z2008.0547openalex-snapshot
Explicit and implicit parallel functional programming : concepts and implementation
inferred← citeshttps://doi.org/10.2168/lmcs-1(1:4)2005openalex-snapshot
Contextual equivalence for higher-order pi-calculus revisited
inferred← citeshttps://doi.org/10.3929/ethz-a-003930796openalex-snapshot
Syntax and semantics of graphs: an approach to the specification of visual notations for discrete-event systems
inferred← citeshttps://doi.org/10.48456/tr-492openalex-snapshot
Nomadic Pict: language and infrastructure design for mobile computation
inferred← citeshttps://doi.org/10.48456/tr-613openalex-snapshot
Abstracting application-level security policy for ubiquitous computing
inferred← citeshttps://doi.org/10.5753/sbac-pad.2000.41201openalex-snapshot
Clara: An Actor Language for High Performance Distributed Computing
inferred← citeshttps://doi.org/10.7146/dpb.v24i493.7021openalex-snapshot
Particpants' Proceedings on the Workshop: Types for Program Analysis
inferred← citeshttps://doi.org/10.7551/mitpress/3054.003.0004openalex-snapshot
Introduction to operational semantics
inferred← citeshttps://doi.org/10.7551/mitpress/5641.003.0025openalex-snapshot
Combining the Typed λ-Calculus with CCS
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.