On the public citation graph
Concurrent Prolog: A Progress Report
0 signed · 200 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.1002/spe.4380100203openalex-snapshot
Logic programming and compiler writing
inferredcites →https://doi.org/10.1007/3-540-10235-3openalex-snapshot
A Calculus of Communicating Systems
inferredcites →https://doi.org/10.1007/3-540-16042-6_20openalex-snapshot
Partial correctness semantics for CP[↓, ¦, &]
inferredcites →https://doi.org/10.1007/3-540-16492-8_82openalex-snapshot
Compiling OR-parallelism into AND-parallelism
inferredcites →https://doi.org/10.1007/bf03037020openalex-snapshot
Object oriented programming in Concurrent Prolog
inferredcites →https://doi.org/10.1007/bf03037058openalex-snapshot
Fair, biased, and self-balancing merge operators: Their specification and implementation in Concurrent Prolog
inferredcites →https://doi.org/10.1007/bfb0022471openalex-snapshot
An approach to fair applicative multiprogramming
inferredcites →https://doi.org/10.1016/0011-684x(85)90108-xopenalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1016/0378-4754(81)90068-9openalex-snapshot
Introduction to automata theory, languages and computation
inferredcites →https://doi.org/10.1145/321250.321253openalex-snapshot
A Machine-Oriented Logic Based on the Resolution Principle
inferredcites →https://doi.org/10.1145/321978.321991openalex-snapshot
The Semantics of Predicate Logic as a Programming Language
inferredcites →https://doi.org/10.1145/5001.5390openalex-snapshot
PARLOG: parallel programming in logic
inferredcites →https://doi.org/10.1145/512644.512668openalex-snapshot
Annotations for distributed programming in logic
inferredcites →https://doi.org/10.7551/mitpress/1192.001.0001openalex-snapshot
Algorithmic Program Debugging
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/(sici)1097-024x(199703)27:3<207::aid-spe82>3.0.co;2-dopenalex-snapshot
Synchronous/Reactive Programming of Concurrent System Software
inferred← citeshttps://doi.org/10.1007/3-540-18991-2_42openalex-snapshot
A Wavefront Array Processor using dataflow processing elements
inferred← citeshttps://doi.org/10.1007/3-540-19027-9_19openalex-snapshot
Compilation of logic programs for restricted and-parallelism
inferred← citeshttps://doi.org/10.1007/3-540-19426-6_14openalex-snapshot
Proving partial correctness of guarded horn clauses programs
inferred← citeshttps://doi.org/10.1007/3-540-19426-6_20openalex-snapshot
Concurrent execution of Prolog transaction
inferred← citeshttps://doi.org/10.1007/3-540-40057-5_15openalex-snapshot
Two Rule-Based Building-Block Architectures for Policy-Based Network Control
inferred← citeshttps://doi.org/10.1007/3-540-45500-0_5openalex-snapshot
Resource-Passing Concurrent Programming
inferred← citeshttps://doi.org/10.1007/3-540-45628-7_7openalex-snapshot
A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language
inferred← citeshttps://doi.org/10.1007/3-540-45910-3_12openalex-snapshot
SCOOP Structured Concurrent Object Oriented Prolog
inferred← citeshttps://doi.org/10.1007/3-540-50939-9_131openalex-snapshot
A distributed, net oriented semantics for Delta Prolog
inferred← citeshttps://doi.org/10.1007/3-540-51081-8_140openalex-snapshot
A parallel implementation of rewriting and narrowing
inferred← citeshttps://doi.org/10.1007/3-540-51295-0_139openalex-snapshot
A distributed locking algorithm for a transactions system in flat concurrent prolog
inferred← citeshttps://doi.org/10.1007/3-540-51486-4_55openalex-snapshot
A thesis for bounded concurrency
inferred← citeshttps://doi.org/10.1007/3-540-51486-4_64openalex-snapshot
Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses
inferred← citeshttps://doi.org/10.1007/3-540-52282-4_35openalex-snapshot
Towards a process semantics in the logic programming style
inferred← citeshttps://doi.org/10.1007/3-540-53065-7_150openalex-snapshot
MMK - A distributed operating system kernel with integrated dynamic loadbalancing
inferred← citeshttps://doi.org/10.1007/3-540-53162-9_40openalex-snapshot
Unfolding and fixpoint semantics of concurrent constraint logic programs
inferred← citeshttps://doi.org/10.1007/3-540-53932-8_54openalex-snapshot
Graph rewriting as a computational model
inferred← citeshttps://doi.org/10.1007/3-540-54152-7_69openalex-snapshot
Customization of first-class tuple-spaces in a higher-order language
inferred← citeshttps://doi.org/10.1007/3-540-54444-5_96openalex-snapshot
Concepts for a modular and distributed Prolog language
inferred← citeshttps://doi.org/10.1007/3-540-55038-0_5openalex-snapshot
καππα: A Kernel Andorra Prolog
inferred← citeshttps://doi.org/10.1007/3-540-55425-4_1openalex-snapshot
Potentiality of parallelism in logic
inferred← citeshttps://doi.org/10.1007/3-540-55425-4_15openalex-snapshot
Parallel computation model for parallel prolog
inferred← citeshttps://doi.org/10.1007/3-540-55599-4_109openalex-snapshot
Message-brokers and communicating prolog processes
inferred← citeshttps://doi.org/10.1007/3-540-56730-5_35openalex-snapshot
LOP: Toward a new implementation of Makanin's Algorithm
inferred← citeshttps://doi.org/10.1007/978-1-4471-3156-4_8openalex-snapshot
Logic Programming Schemes
inferred← citeshttps://doi.org/10.1007/978-1-4471-3421-3_9openalex-snapshot
On the Semantics of Concurrent Constraint Programming
inferred← citeshttps://doi.org/10.1007/978-1-4471-3546-3_3openalex-snapshot
Distributed Logic Programming
inferred← citeshttps://doi.org/10.1007/978-1-4613-1619-0_3openalex-snapshot
Carmel-1: A VLSI Architecture for Flat Concurrent Prolog
inferred← citeshttps://doi.org/10.1007/978-1-4613-1989-4_13openalex-snapshot
Overview of AI Application-Oriented Parallel Processing Research in Japan
inferred← citeshttps://doi.org/10.1007/978-3-540-31794-4_7openalex-snapshot
Performance Analysis of a UML Micro-business Case Study
inferred← citeshttps://doi.org/10.1007/978-3-540-70592-5_21openalex-snapshot
Bristlecone: A Language for Robust Software Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-14309-0_11openalex-snapshot
Concurrent and Reactive Constraint Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-18734-6_11openalex-snapshot
The π-calculus as an Abstraction for Biomolecular Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-58066-6_12openalex-snapshot
Logic Program Execution on Distributed Memory Parallel Computers
inferred← citeshttps://doi.org/10.1007/978-3-642-60085-2_3openalex-snapshot
Concurrent Logic/Constraint Programming: The Next 10 Years
inferred← citeshttps://doi.org/10.1007/978-3-642-73896-8_5openalex-snapshot
Logische Programmiersprachen
inferred← citeshttps://doi.org/10.1007/978-3-642-74688-8_11openalex-snapshot
Zeitbeschränkte Logische Programmierung
inferred← citeshttps://doi.org/10.1007/978-3-642-76612-1_6openalex-snapshot
Parallelisierung komplexer Anwendungen auf dem iPSC/2, iPSC/860 mit Hilfe der Werkzeugumgebung TOPSYS
inferred← citeshttps://doi.org/10.1007/978-3-642-76799-9_10openalex-snapshot
The Family of Concurrent Logic Programming Languages
inferred← citeshttps://doi.org/10.1007/978-3-642-78694-5_12openalex-snapshot
ConFuP — A Concurrent Logic Language with Fuzzy Semantics
inferred← citeshttps://doi.org/10.1007/978-3-642-84142-2_4openalex-snapshot
Ein verteilter Interpreter für Flat Concurrent Prolog auf Transputern
inferred← citeshttps://doi.org/10.1007/978-3-662-25209-3_42openalex-snapshot
Customization of First-Class Tuple-Spaces in a Higher-Order Language
inferred← citeshttps://doi.org/10.1007/978-94-009-3117-6_20openalex-snapshot
Machines, Languages and Compilers for Parallel Symbolic Computing
inferred← citeshttps://doi.org/10.1007/978-94-011-2562-8_12openalex-snapshot
Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Programming
inferred← citeshttps://doi.org/10.1007/978-94-011-2562-8_13openalex-snapshot
The Wivenhoe Computational Model: In Search of More Parallelisms
inferred← citeshttps://doi.org/10.1007/bf00249354openalex-snapshot
Inductive expansion: A calculus for verifying and synthesizing functional and logic programs
inferred← citeshttps://doi.org/10.1007/bf00439420openalex-snapshot
Parallel processing in knowledge-based diagnostic systems
inferred← citeshttps://doi.org/10.1007/bf00452100openalex-snapshot
Multiple robot programming using a concurrent logic language
inferred← citeshttps://doi.org/10.1007/bf01018613openalex-snapshot
TS/Scheme: Distributed data structures in Lisp
inferred← citeshttps://doi.org/10.1007/bf01379097openalex-snapshot
Flat Parlog: A basis for comparison
inferred← citeshttps://doi.org/10.1007/bf01407410openalex-snapshot
An assessment of multilisp: Lessons from experience
inferred← citeshttps://doi.org/10.1007/bf01806101openalex-snapshot
Combinator evaluation of functional programs with logical variables
inferred← citeshttps://doi.org/10.1007/bf03037136openalex-snapshot
Specialisation of Prolog and FCP programs using abstract interpretation
inferred← citeshttps://doi.org/10.1007/bf03037139openalex-snapshot
Partial evaluation of metaprograms in a “multiple worlds” logic language
inferred← citeshttps://doi.org/10.1007/bf03037145openalex-snapshot
Annotated bibliography on partial evaluation and mixed computation
inferred← citeshttps://doi.org/10.1007/bf03037206openalex-snapshot
CARMEL-2: A second generation VLSI architecture for Flat Concurrent Prolog
inferred← citeshttps://doi.org/10.1007/bf03037448openalex-snapshot
An abstract machine for the implementation of PARLOG on uniprocessors
inferred← citeshttps://doi.org/10.1007/bf03037457openalex-snapshot
Compiling OR-parallelism into AND-parallelism
inferred← citeshttps://doi.org/10.1007/bf03037520openalex-snapshot
Efficient computation control in concurrent logic languages
inferred← citeshttps://doi.org/10.1007/bfb0013531openalex-snapshot
A tool for building connectionist-like networks based on term unification
inferred← citeshttps://doi.org/10.1007/bfb0018453openalex-snapshot
The net-clause language — A tool for data-driven inference
inferred← citeshttps://doi.org/10.1007/bfb0024152openalex-snapshot
Speculative computation in multilisp
inferred← citeshttps://doi.org/10.1007/bfb0032930openalex-snapshot
An integrated environment for programming distributed memory multiprocessors
inferred← citeshttps://doi.org/10.1007/bfb0032952openalex-snapshot
Implementing committed-choice logic programming languages on distributed memory computers
inferred← citeshttps://doi.org/10.1016/0010-4655(89)90165-3openalex-snapshot
Implementing Lanczos-like algorithms on hypercube architectures
inferred← citeshttps://doi.org/10.1016/0020-0255(92)90030-copenalex-snapshot
Backpac: A parallel goal-driven reasoning system
inferred← citeshttps://doi.org/10.1016/0020-0255(95)00219-7openalex-snapshot
Logic programming and the execution model of Prolog
inferred← citeshttps://doi.org/10.1016/0026-2714(90)90165-jopenalex-snapshot
PROLOG in distributed systems: An overview
inferred← citeshttps://doi.org/10.1016/0096-0551(91)90003-ropenalex-snapshot
Distributed programming with shared data
inferred← citeshttps://doi.org/10.1016/0096-0551(93)90024-uopenalex-snapshot
A survey of PARLOG and Concurrent Prolog: The integration of logic and parallelism
inferred← citeshttps://doi.org/10.1016/0164-1212(90)90107-wopenalex-snapshot
Secondary storage in a concurrent logic programming environment
inferred← citeshttps://doi.org/10.1016/0167-739x(91)90002-fopenalex-snapshot
A parallel logic system on a multicomputer architecture
inferred← citeshttps://doi.org/10.1016/0167-739x(93)90004-9openalex-snapshot
Evaluation of KL1 and the inference machine
inferred← citeshttps://doi.org/10.1016/0167-739x(94)90032-9openalex-snapshot
Programming environment for a transputer based computer
inferred← citeshttps://doi.org/10.1016/0169-023x(91)90021-oopenalex-snapshot
Coupling committed and trial binding resolution engines
inferred← citeshttps://doi.org/10.1016/0304-3975(90)90060-uopenalex-snapshot
Comparative metric semantics for concurrent prolog
inferred← citeshttps://doi.org/10.1016/0304-3975(90)90061-lopenalex-snapshot
Finite failures and partial computations in concurrent logic languages
inferred← citeshttps://doi.org/10.1016/0304-3975(90)90062-mopenalex-snapshot
A declarative semantics of flat guarded horn clauses for programs with perpetual processes
inferred← citeshttps://doi.org/10.1016/0304-3975(92)90087-vopenalex-snapshot
An algebraic semantics for structured transition systems and its application to logic programs
inferred← citeshttps://doi.org/10.1016/0304-3975(92)90288-qopenalex-snapshot
Unfolding and fixpoint semantics of concurrent constraint logic programs
inferred← citeshttps://doi.org/10.1016/0360-8352(89)90002-8openalex-snapshot
Parallel processing: A critical element in applying artificial intelligence to manufacturing
inferred← citeshttps://doi.org/10.1016/0360-8352(91)90039-9openalex-snapshot
Concurrent modeling and simulation of reactive manufacturing systems using Petri nets
inferred← citeshttps://doi.org/10.1016/0736-5845(89)90025-2openalex-snapshot
Process planning by logic programming
inferred← citeshttps://doi.org/10.1016/0736-5845(91)90008-gopenalex-snapshot
Concurrent modeling and simulation of multi-robot systems
inferred← citeshttps://doi.org/10.1016/0743-1066(89)90011-3openalex-snapshot
A sequential abstract machine for flat concurrent prolog
inferred← citeshttps://doi.org/10.1016/0743-1066(89)90012-5openalex-snapshot
Or-parallel PROLOG on shared memory multiprocessors
inferred← citeshttps://doi.org/10.1016/0743-1066(89)90016-2openalex-snapshot
OR-parallel PROLOG in flat concurrent PROLOG
inferred← citeshttps://doi.org/10.1016/0743-1066(90)90054-9openalex-snapshot
Logic programming for real-time control of telecommunication switching systems
inferred← citeshttps://doi.org/10.1016/0743-7315(87)90036-0openalex-snapshot
Notes on the complexity of systolic programs
inferred← citeshttps://doi.org/10.1016/0745-7138(90)90003-popenalex-snapshot
Flat Concurrent Prolog on transputers
inferred← citeshttps://doi.org/10.1016/0890-5401(91)90036-2openalex-snapshot
Comparative semantics for flow of control in logic programming without logic
inferred← citeshttps://doi.org/10.1016/0954-1810(90)90034-2openalex-snapshot
Modeling advanced manufacturing systems using concurrent logic programming
inferred← citeshttps://doi.org/10.1016/1069-0115(95)90038-1openalex-snapshot
Logic programming and the execution model of Prolog
inferred← citeshttps://doi.org/10.1016/b978-0-408-02938-4.50016-4openalex-snapshot
Key references in distributed computer systems 1959–1989
inferred← citeshttps://doi.org/10.1016/b978-0-444-81704-4.50016-8openalex-snapshot
Massive Parallelism in Inference Systems
inferred← citeshttps://doi.org/10.1016/b978-0-444-89178-5.50114-7openalex-snapshot
Amalgamating the Neural and Logic Computing Paradigms
inferred← citeshttps://doi.org/10.1016/b978-0-7506-0813-8.50051-4openalex-snapshot
Modern non-conventional Programming language concepts
inferred← citeshttps://doi.org/10.1016/j.jlap.2004.07.005openalex-snapshot
Real number computation with committed choice logic programming languages
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.03.061openalex-snapshot
BioAmbients: an abstraction for biological compartments
inferred← citeshttps://doi.org/10.1016/s0020-0190(01)00214-9openalex-snapshot
Application of a stochastic name-passing calculus to representation and simulation of molecular processes
inferred← citeshttps://doi.org/10.1016/s0096-0551(99)00013-2openalex-snapshot
An execution scheme for interactive problem-solving in concurrent constraint logic programming languages
inferred← citeshttps://doi.org/10.1016/s0140-3664(99)00072-9openalex-snapshot
Finding, expressing and managing parallelism in programs executed on clusters of workstations
inferred← citeshttps://doi.org/10.1016/s0743-1066(96)00079-9openalex-snapshot
Overview of DASWAM: Exploitation of dependent and-parallelism
inferred← citeshttps://doi.org/10.1017/s0269888900005130openalex-snapshot
A Comparative Exploration of Concurrent Logic Languages
inferred← citeshttps://doi.org/10.1023/a:1025763222448openalex-snapshot
Rule-Based Building-Block Architectures for Policy-Based Networking
inferred← citeshttps://doi.org/10.1080/03772063.1991.11437006openalex-snapshot
Pictorial Languages: Concepts and Data Structures
inferred← citeshttps://doi.org/10.1093/comjnl/30.5.386openalex-snapshot
Principles of the Delphi Parallel Inference Machine
inferred← citeshttps://doi.org/10.1109/12.46282openalex-snapshot
Concurrent logic programming as a hardware description tool
inferred← citeshttps://doi.org/10.1109/2.153282openalex-snapshot
Architectural support for goal management in flat concurrent Prolog
inferred← citeshttps://doi.org/10.1109/21.229470openalex-snapshot
An allocation algorithm for distributing Datalog programs
inferred← citeshttps://doi.org/10.1109/32.87277openalex-snapshot
Using flat concurrent Prolog in system modeling
inferred← citeshttps://doi.org/10.1109/70.68077openalex-snapshot
Modeling flexible manufacturing systems: the concurrent logic programming approach
inferred← citeshttps://doi.org/10.1109/eeis.1989.720016openalex-snapshot
Concurrent Logic Programming for modeling flexible manufacturing systems
inferred← citeshttps://doi.org/10.1109/empdp.1993.336414openalex-snapshot
A Prolog interpreter for OR parallelism evaluation on distributed systems
inferred← citeshttps://doi.org/10.1109/ftdcs.1988.26722openalex-snapshot
A virtual inference scheme for distributed logic inference
inferred← citeshttps://doi.org/10.1109/hicss.1989.48019openalex-snapshot
PK/C++: an object-oriented, logic-based, executable specification language
inferred← citeshttps://doi.org/10.1109/hicss.1989.48086openalex-snapshot
Preliminary estimates of parallelism in CONSUL programs
inferred← citeshttps://doi.org/10.1109/iccl.1988.13046openalex-snapshot
Distributed programming with shared data
inferred← citeshttps://doi.org/10.1109/iccsse.1988.72252openalex-snapshot
Parallel programming using the MMX operating system and its processor
inferred← citeshttps://doi.org/10.1109/ipdps.2000.846037openalex-snapshot
Monotonic counters: a new mechanism for thread synchronization
inferred← citeshttps://doi.org/10.1109/ipps.1995.395867openalex-snapshot
Divide-and-conquer programming on MIMD computers
inferred← citeshttps://doi.org/10.1109/ispan.1994.367181openalex-snapshot
A logic semantics for a class of nondeterministic concurrent constraint logic programs
inferred← citeshttps://doi.org/10.1109/iwqos.2000.847948openalex-snapshot
A representation of network node QoS control policies using rule-based building blocks
inferred← citeshttps://doi.org/10.1109/jcit.1990.128313openalex-snapshot
A parallel implementation of equational programming
inferred← citeshttps://doi.org/10.1109/lics.1988.5130openalex-snapshot
Fully abstract denotational semantics for flat Concurrent Prolog
inferred← citeshttps://doi.org/10.1109/nafips.1999.781697openalex-snapshot
Agent-based modeling for holonic manufacturing systems with fuzzy control
inferred← citeshttps://doi.org/10.1109/pccc.1989.37407openalex-snapshot
Detecting AND-parallelism in logic programs without literal ordering
inferred← citeshttps://doi.org/10.1109/pccc.1990.101692openalex-snapshot
Allocation schemes for distributed problem-solving in logic programming
inferred← citeshttps://doi.org/10.1109/secon.1989.132427openalex-snapshot
Execution kernel for parallel logic programming
inferred← citeshttps://doi.org/10.1109/simsym.1993.639051openalex-snapshot
Warplog: Time Warped Logical Objects
inferred← citeshttps://doi.org/10.1109/superc.1988.44682openalex-snapshot
A transformational approach to the derivation of hardware algorithms from recurrence equations
inferred← citeshttps://doi.org/10.1109/tai.1990.130406openalex-snapshot
Issues on deterministic transformation of logic-based program specification
inferred← citeshttps://doi.org/10.1109/tron.1992.313260openalex-snapshot
TGHC: timed guarded Horn clauses
inferred← citeshttps://doi.org/10.1109/wsc.2003.1261509openalex-snapshot
Design environments for complex systems
inferred← citeshttps://doi.org/10.1111/j.1467-8667.1987.tb00150.xopenalex-snapshot
Parallel Processing
inferred← citeshttps://doi.org/10.1145/115865.376287openalex-snapshot
Dynamic specialization in extended functional language with monotone objects
inferred← citeshttps://doi.org/10.1145/115866.376287openalex-snapshot
Dynamic specialization in extended functional language with monotone objects
inferred← citeshttps://doi.org/10.1145/280277.280278openalex-snapshot
Models and languages for parallel computation
inferred← citeshttps://doi.org/10.1145/322917.323083openalex-snapshot
The process allocation in parallel interpretation of logic programs (abstract only)
inferred← citeshttps://doi.org/10.1145/35043.35044openalex-snapshot
Parlog86 and the dining logicians
inferred← citeshttps://doi.org/10.1145/41625.41630openalex-snapshot
The concurrent logic programming language CP: Definition and operational semantics
inferred← citeshttps://doi.org/10.1145/55364.55396openalex-snapshot
A two-tier memory architecture for high-performance multiprocessor systems
inferred← citeshttps://doi.org/10.1145/68127.68131openalex-snapshot
Implementing a graph-colouring algorithm in Parlog
inferred← citeshttps://doi.org/10.1145/72551.72552openalex-snapshot
Programming languages for distributed computing systems
inferred← citeshttps://doi.org/10.1145/72551.72555openalex-snapshot
The family of concurrent logic programming languages
inferred← citeshttps://doi.org/10.1145/74105.74110openalex-snapshot
Survey and comparison of PARLOG and Concurrent Prolog
inferred← citeshttps://doi.org/10.1145/91556.91644openalex-snapshot
Speculative computation in multilisp
inferred← citeshttps://doi.org/10.1145/93542.93565openalex-snapshot
Generators and the replicator control structure in the parallel environment of ALLOY
inferred← citeshttps://doi.org/10.1145/93548.93565openalex-snapshot
Generators and the replicator control structure in the parallel environment of ALLOY
inferred← citeshttps://doi.org/10.1145/98894.98936openalex-snapshot
Adaptive multiagent planning in a distributed environment
inferred← citeshttps://doi.org/10.1145/98949.99131openalex-snapshot
An overview of parallel processing languages
inferred← citeshttps://doi.org/10.21236/ada203309openalex-snapshot
A Programming Environment for Parallel Vision Algorithms
inferred← citeshttps://doi.org/10.3115/991635.991665openalex-snapshot
The Parallel Expert Parser (PEP)
inferred← citeshttps://doi.org/10.5555/1030818.1030936openalex-snapshot
Simulation and verification I: design environments for complex systems
inferred← citeshttps://doi.org/10.5555/42040.42133openalex-snapshot
Modeling of parallel software for efficient computation communication overlap
inferred← citeshttps://doi.org/10.5555/62972.63027openalex-snapshot
A transformational approach to the derivation of hardware algorithms from recurrence equations
inferred← citeshttps://doi.org/10.5753/sbac-pad.1994.21880openalex-snapshot
Uma Linguagem de Programação Orientada a Objetos para Ambientes Paralelos
inferred← citeshttps://doi.org/10.6083/5q47rp07vopenalex-snapshot
Experiences with Belinda : a synthetic Linda benchmark for parallel computer platforms
inferred← citeshttps://doi.org/10.6083/xk81jk72kopenalex-snapshot
Benchmarking parallel machines via a software architecture
inferred← citeshttps://doi.org/10.70675/cef199d2zceebz49c9zaf78z6d35e97ab107openalex-snapshot
A chemical programming language for orchestrating services : Application to interoperability problems
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.