selected scholarly activity
-
books
-
chapters
- An Introduction to the Macro Cosy Notation. 287-314. 1987
- Synchronization of Concurrent Processes without Globality Assumptions. 341-365. 1982
-
conferences
- A Systolizing Compilation Scheme for Nested Loops with Linear Bounds.. Functional Programming, Concurrency, Simulation and Automated Reasoning. 374-398. 1993
- A Taste of Rewrite Systems.. Functional Programming, Concurrency, Simulation and Automated Reasoning. 199-228. 1993
- An Introduction to the High-Level Language Standard ML.. Functional Programming, Concurrency, Simulation and Automated Reasoning. 47-70. 1993
- An Overview of Larch.. Functional Programming, Concurrency, Simulation and Automated Reasoning. 329-348. 1993
- Analysing Concurrent Systems Using the Concurrency Workbench.. Functional Programming, Concurrency, Simulation and Automated Reasoning. 129-144. 1993
- Concurrent ML: Design, Application and Semantics.. Functional Programming, Concurrency, Simulation and Automated Reasoning. 165-198. 1993
- Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. Functional Programming, Concurrency, Simulation and Automated Reasoning. 1993
- Generating an Algorithm for Executing Graphical Models.. Functional Programming, Concurrency, Simulation and Automated Reasoning. 71-83. 1993
- Modeling an NORAD Command Post Using SADT and Colored Petri Nets.. Functional Programming, Concurrency, Simulation and Automated Reasoning. 84-107. 1993
- On the use of theory based systems to traverse educational gaps in computer system related activities. Lecture Notes in Computer Science. 1-31. 1993
- Programming in OBJ and Maude.. Functional Programming, Concurrency, Simulation and Automated Reasoning. 229-277. 1993
- Propositional temporal logics and their use in model checking. Lecture Notes in Computer Science. 108-116. 1993
- Reasoning About Functional Programs in Nuprl.. Functional Programming, Concurrency, Simulation and Automated Reasoning. 145-164. 1993
- Reflections on Standard ML.. Functional Programming, Concurrency, Simulation and Automated Reasoning. 32-46. 1993
- Specification and Simulation with ExSpect.. Functional Programming, Concurrency, Simulation and Automated Reasoning. 296-327. 1993
- Supporting the Attribute Grammar Programming Paradigm in a Lazy Funciontal Programming Language.. Functional Programming, Concurrency, Simulation and Automated Reasoning. 278-295. 1993
- The EVES System.. Functional Programming, Concurrency, Simulation and Automated Reasoning. 349-373. 1993
- The propositional μ-calculus and its use in model checking. Lecture Notes in Computer Science. 117-128. 1993
- A Client-Server Based Architecture for Communication between Expert Systems.. ICCI. 257-261. 1992
- A Data-Parallel Language and Its Compilation to a Formally Defined Intermediate Language.. ICCI. 133-134. 1992
- A Distributed Algorithm for Parameterized Semaphore Operations.. ICCI. 466-469. 1992
- A Distributed Kernel for Virtual Time Driven Applications.. ICCI. 457-460. 1992
- A Distributed Production System for Problem Solving.. ICCI. 245-248. 1992
- A Fine-Grained Approach to Scheduling Asynchronous Multiprocessors.. ICCI. 139-142. 1992
- A Fingerprint Image Recognition Method for Network User Identification.. ICCI. 369-372. 1992
- A Graph Testing Concurrency Control Protocol for Object Bases.. ICCI. 316-319. 1992
- A Heterogeneous Distributed Database System Based on Extended Relational Model.. ICCI. 338-341. 1992
- A Logical Model and Schema Integration Architecture for Determining Equivalence in ER-Diagrams.. ICCI. 320-324. 1992
- A Measure of Fault Tolerance for Distributed Networks.. ICCI. 426-429. 1992
- A Self-Guided Theorem Proving System.. ICCI. 329-333. 1992
- A Simple Perfect Hashing Method for Static Sets.. ICCI. 401-404. 1992
- A Switching Architecture for Congestion Control in High-Speed Networks.. ICCI. 406-409. 1992
- A Visual Concurrent LISP Environment and Its Application.. ICCI. 114-117. 1992
- A Visual Specification Model for Evolutionary Information Systems.. ICCI. 297-300. 1992
- A method of processing unknown attribute values by ID3. Proceedings ICCI `92: Fourth International Conference on Computing and Information. 253-256. 1992
- AI in Real Time: Is This Feasible?. ICCI. 286-289. 1992
- Aggregation in Model-Based Reasoning Using Prime Models: A Preliminary Report.. ICCI. 292-295. 1992
- Algorithms for a K-Tree Core of a Tree.. ICCI. 38-41. 1992
- An Algorithm for Maintenance of Functional Relationships.. ICCI. 377-380. 1992
- An Approach to Achieving Multiuser Integrity in a Knowledge Base System.. ICCI. 346-349. 1992
- An Efficient Parallel Algorithm for the Assignment Problem on the Plane.. ICCI. 110-113. 1992
- An Experiment on Reusing Program Specifications Described with Conceptual Data Model- and Dependency Constraint-Based Language.. ICCI. 350-354. 1992
- An Incremental Concept Formation Approach to Acquisition of Anaphoric Regularity in Mandarin Chinese.. ICCI. 278-281. 1992
- An Integrate Approach to Satisfy Application Requirements.. ICCI. 478-481. 1992
- An Optimal Algorithm for Finding Maximum Induced Bipartitie Subgraphs of Circular-Arc Graphs.. ICCI. 50-53. 1992
- An Optimal Multilevel Signature File for Large Databases.. ICCI. 373-376. 1992
- Application of Expert System to the Evaluation of Project Alternatives.. ICCI. 212-215. 1992
- Application of Measures of Fuzziness to Risk Classification in Insurance.. ICCI. 290-291. 1992
- Applying Graph Grammars for Task-Oriented User Interface Development.. ICCI. 389-392. 1992
- Comparison of ID3 and Its Generalized Version.. ICCI. 241-244. 1992
- Complex Objects in the Temporal Object System.. ICCI. 381-384. 1992
- Compression of Dictionaries via Extensions to Front Coding.. ICCI. 361-364. 1992
- Computing and Information - ICCI'92, Fourth International Conference on Computing and Information, Toronto, Ontario, Canada, May 28-30, 1992, Proceedings. ICCI. 1992
- Concurrent Use of Parallel Communication to Enable Remote Visualization.. ICCI. 449-452. 1992
- Conflict-Free Routing on Hypercubes.. ICCI. 153-158. 1992
- Consistent Linear Speedup in Parallel Alpha-Beta Search.. ICCI. 237-240. 1992
- Construct an Object-Oriented Constraint Logic for Explanation Based Learning.. ICCI. 233-236. 1992
- Counting and Generating Integer Partitions in Parallel.. ICCI. 54-57. 1992
- Criteria for Dynamic Method Selection in Diagnostic Reasoning.. ICCI. 224-227. 1992
- Detecting More Independent Loops across Hierarchical Structures.. ICCI. 168-172. 1992
- Domain Compression of Incompletely Specified Boolean Functions.. ICCI. 10-13. 1992
- Dynamic Genericity in Imperative Languages: Example in CML.. ICCI. 96-99. 1992
- Effects of Network Protocols on Distributed Concurrency Control Algorithm Performance.. ICCI. 301-306. 1992
- Efficient Algorithms for Computing Matching and Chromatic Polynominals on Series-Parallel Graphs.. ICCI. 42-45. 1992
- Efficient Construction of Catastrophic Patterns for VLSI Reconfigurable Arrays with Bidirectional Links.. ICCI. 79-83. 1992
- Efficient Directory Management for Distributed Naming.. ICCI. 118-122. 1992
- Enforce Constraints in Archival Databases.. ICCI. 397-400. 1992
- Evaluation of Futurebus+ for a GMMP Multiprocessor.. ICCI. 441-444. 1992
- Fault Tolerance for Multistage Interconnection Networks.. ICCI. 430-435. 1992
- Fault-tolerant CSP.. ICCI. 474-477. 1992
- Finding Strongly Connected Components of Circle Cover Graph in One-Dimensional.. ICCI. 58-61. 1992
- Generating All Maximal Independent Sets on Trees in Lexicographic Order.. ICCI. 34-37. 1992
- Global Snapshots for Distributed Debugging.. ICCI. 436-440. 1992
- High-Speed Querying with the DAP 510.. ICCI. 342-345. 1992
- Hyper Petersen Network: A Fault-Tolerant Multiprocessor Topology.. ICCI. 135-138. 1992
- Inheritance and Specificity II: Reference Class Selection.. ICCI. 262-265. 1992
- Integrating CASE Tools with Knowledge-Base by Object Orientation.. ICCI. 325-328. 1992
- Integrating Semantic Inference in a Probabilistic Approach to Information Retrieval II.. ICCI. 270-273. 1992
- Interaction Management of a Window Manager in Manifold.. ICCI. 197-202. 1992
- K-Selection in Hypercubes.. ICCI. 164-167. 1992
- Knowledge Elicitation and Integration from Multiple Experts.. ICCI. 208-211. 1992
- Linear Local and Global Model Checking Algorithms for a Kernel Temporal Logic Language.. ICCI. 46-49. 1992
- Matrix Multiplication on a Toroidal Parallel Architecture.. ICCI. 187-190. 1992
- Maximum and Minimum Matchings for Series-Parallel Networks.. ICCI. 14-17. 1992
- Methodology to Implement an Amoeba Complex Object Server.. ICCI. 312-315. 1992
- Minimum Time Message Transmission in Networks.. ICCI. 22-25. 1992
- Modeling and Investigation of a Primitive File Transfer Operation.. ICCI. 461-465. 1992
- Move-to-End is Best for Double-Linked Lists.. ICCI. 84-87. 1992
- Multiagent Planning Using a Reason Maintenance System.. ICCI. 249-252. 1992
- NLUS - A Prolog-Based Natural Language Understanding System.. ICCI. 204-207. 1992
- Non-Numeric Belief Structures.. ICCI. 274-277. 1992
- Nondeterministic and Alternating Computations.. ICCI. 88-91. 1992
- Obtaining Tight Upper Bounds for the State Complexities of DFA Operations.. ICCI. 100-104. 1992
- On Operational Equivalence of COSY Programs.. ICCI. 191-196. 1992
- On the Complexity of Distance-2 Coloring.. ICCI. 71-74. 1992
- On the Complexity of Maintaining Fault-Tolerant Distributed Systems.. ICCI. 414-417. 1992
- On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory.. ICCI. 2-5. 1992
- Optimal Allocation for Partially Replicated Database Systems on Ring Networks.. ICCI. 470-473. 1992
- Optimizing the Time Cost of Parallel Structures by Scheduling Parallel Processes to Access the Critical Section.. ICCI. 123-127. 1992
- Parallel Reduction of a Chain Query in Distributed Databases.. ICCI. 453-456. 1992
- Parallel Self-Reducibility.. ICCI. 67-70. 1992
- Performance Evaluation of Latency Tolerant Architectures.. ICCI. 183-186. 1992
- Performance Evaluation of Multicast Wormhole Routing in 2D-Torus Multicomputers.. ICCI. 173-178. 1992
- Probabilistic Approach to Attributes Coding in the Rough Sets Theory.. ICCI. 220-223. 1992
- Questionnaire Analysis by Decision Algorithm Generation.. ICCI. 216-219. 1992
- Reconfigurable Optically-Interconnected Parallel Computer Architecture.. ICCI. 418-421. 1992
- Reduction of constraint networks based on local consistency. Proceedings ICCI `92: Fourth International Conference on Computing and Information. 282-285. 1992
- Resource-Requirment Minimization in Relocation Problems with Precedence Constraints.. ICCI. 26-29. 1992
- Revisiting Parallel Speedup Complexity.. ICCI. 179-182. 1992
- Rules in an Extended C++.. ICCI. 365-368. 1992
- SELSYN-C: A Self-Synchronizing Parallel Programming Language.. ICCI. 143-146. 1992
- Search Operations on Distributed Directories.. ICCI. 445-448. 1992
- Searching with a Lie Using Only Comparison Questions.. ICCI. 92-95. 1992
- Self-Checking against Formal Specifications.. ICCI. 355-360. 1992
- Shortest m-Watchmen Routes for Histograms: The MinMax Case.. ICCI. 30-33. 1992
- Space Efficient Parallel Buddy Memory Management.. ICCI. 128-132. 1992
- Spinal Cellular Automata.. ICCI. 18-21. 1992
- Sub-Logarithmic Algorithms for the Largest Empty Rectangle Problem.. ICCI. 106-109. 1992
- The Generic Oracle Hypothesis Fails.. ICCI. 75-78. 1992
- The Relevance Density Method in Information Retrieval.. ICCI. 307-311. 1992
- Theory of Deductive Systems for Protocol Verification.. ICCI. 422-425. 1992
- Unraveling Mechanisms in Vesicular Dataflow Model.. ICCI. 147-152. 1992
- Use of Unit Clauses and Clause Splitting in Automatic Deduction.. ICCI. 228-232. 1992
- Using ECATNets for Specifying Communication Software in the OSI Framework.. ICCI. 410-413. 1992
- Using Modeling and Control in Adele System.. ICCI. 334-337. 1992
- Using the Entropy in the SPARC Instruction Set.. ICCI. 6-9. 1992
- Using the IIPS Framework to Specify Machine-Discovery Problems.. ICCI. 266-269. 1992
- Visual Database Interface for End User Computing.. ICCI. 393-396. 1992
- What is Failure? Or: Constructive Negation by Fail Answers.. ICCI. 62-66. 1992
- Write-Only Disk Cache Experiments on Multiple Surface Disks.. ICCI. 385-388. 1992
- Writing Sequential Programs for Parallel Processors: Implementation Experience.. ICCI. 159-163. 1992
- On the semantics of priority systems. Proceedings of the International Conference on Parallel Processing Workshops. 150-156. 1988
- Two way channel with disconnect. Lecture Notes in Computer Science. 184-198. 1985
- RECIPE: REQUIREMENTS FOR AN EVOLUTIONARY COMPUTER-BASED INFORMATION PROCESSING ENVIRONMENT.. ISPW. 67-76. 1984
- ON THE DESCRIPTION OF SIMPLE MICROPROCESSOR CONFIGURATIONS BY MEANS OF PETRI NETS.. 909-919. 1983
- INTERPRETED COSY PROGRAMS: PROGRAMMING AND VERIFICATION.. Proceedings of International Wire and Cable Symposium. 137-148. 1981
- Design and analysis of highly parallel and distributed systems. Lecture Notes in Computer Science. 451-503. 1980
- Specification of highly parallel and distributed resource management. Lecture Notes in Computer Science. 223-239. 1980
- Verifying concurrent system specifications in COSY. Lecture Notes in Computer Science. 576-586. 1980
- A formal semantics for concurrent systems. Lecture Notes in Computer Science. 571-584. 1979
- On the abstract specification and formal analysis of synchronization properties of concurrent systems. Lecture Notes in Computer Science. 1-32. 1979
- VERIFICATION OF CONCURRENT SYSTEMS OF PROCESSES.. International Computing Symposium. 197-207. 1977
- A description of path expressions by Petri nets. Conference Record of the Annual ACM Symposium on Principles of Programming Languages. 95-105. 1975
- DESCRIPTION OF PATH EXPRESSIONS BY PETRI NETS.. 95-105. 1975
-
journal articles
- Concurrent and maximally concurrent evolution of nonsequential systems. Theoretical Computer Science. 43:213-238. 1986
- 2-WAY CHANNEL WITH DISCONNECT. Lecture Notes in Computer Science. 207:184-198. 1985
- A simple railway system. Lecture Notes in Computer Science. 207:271-292. 1985
- Maximally concurrent evolution of non-sequential systems. Lecture Notes in Computer Science. 197:268-280. 1985
- JEWELS OF FORMAL LANGUAGE THEORY - SALOMAA,A. Computer Journal. 26:285-285. 1983
- Synchronization of concurrent processes without globality assumptions. ACM SIGPLAN Notices. 16:66-80. 1981
- Formal behavioural specification of concurrent systems without globality assumptions. Lecture Notes in Computer Science. 107:115-151. 1981
- Towards an axiomatization of value theory.. Notre Dame Journal of Formal Logic. 21:51-77. 1980
- COSY ? a system specification language based on paths and processes. Acta Informatica. 12:109-158. 1979
- Abstract specification of resource accessing disciplines. ACM SIGPLAN Notices. 13:41-59. 1978
- A general mechanism for avoiding starvation with distributed control. Information Processing Letters. 7:156-158. 1978
- Addenda and corrigenda. Acta Informatica. 7:325-325. 1977
- CORRECTION. Acta Informatica. 7:1-1. 1977
- A search strategy for the elementary cycles of a directed graph. BIT Numerical Mathematics. 16:192-204. 1976
- Formal semantics of a class of high-level primitives for coordinating concurrent processes. Acta Informatica. 5:297-332. 1975
- Consistent and complementary formal theories of the semantics of programming languages. Acta Informatica. 3:135-153. 1974