Programming languages and their definition
Programming languages and their definition
Petri nets: an introduction
Communicating sequential processes
Communicating sequential processes
Non-deterministic data types: models and implementations
Acta Informatica
Countable nondeterminism and random assignment
Journal of the ACM (JACM)
Programming with sets; an introduction to SETL
Programming with sets; an introduction to SETL
The Munich Project CIP: Volume I: the wide spectrum language CIP-L
The Munich Project CIP: Volume I: the wide spectrum language CIP-L
A theory for nondeterminism, parallelism, communication, and concurrency
Theoretical Computer Science
Bounded nondeterminism and the approximation induction principle in process algebra
4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87
Why Horn formulas matter in computer science: initial structures and generic examples
Journal of Computer and System Sciences
Algebraic specifications of computable and semicomputable data types
Theoretical Computer Science
Testing equivalences for event structures
Advanced School on Mathematical models for the semantics of parallelism
A mathematical approach to nondeterminism in data types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Rewriting with a nondeterministic choice operator
Theoretical Computer Science - First European Symposium on Programming, Saarbru:9Aicken, W. Germany, March 17:8
Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
Observing nondeterministic data types
Lecture notes in Computer Science on Recent trends in data type specification
A simple fix-point argument without the restriction to continuity
Control Flow and Data Flow: concepts of distributed programming
Communication and concurrency
A generalization of Dijkstra's calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Unified algebras and action semantics
Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science on STACS 89
Unified algebras and institutions
Proceedings of the Fourth Annual Symposium on Logic in computer science
Duality in specification languages: a lattice-theoretical approach
Acta Informatica
The semantics of disjunctive deductive databases
CSL '89 Proceedings of the third workshop on Computer science logic
Category theory for computing science
Category theory for computing science
A logical theory of concurrent objects
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Implementation of subset-equational programs
Journal of Logic Programming
Non-determinism in functional languages
The Computer Journal - Special issue on formal methods: part 1
Nondeterminism in algebraic specifications and algebraic programs
Nondeterminism in algebraic specifications and algebraic programs
Referential opacity in nondeterministic data refinement
ACM Letters on Programming Languages and Systems (LOPLAS)
A complete calculus for the multialgebraic and functional semantics of nondeterminism
ACM Transactions on Programming Languages and Systems (TOPLAS)
Journal of the ACM (JACM)
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Nondeterminism in logics of programs
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A straightforward denotational semantics for non-determinate data flow programs
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Verifiable Programming
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Algebraic Semantics
Computing in Systems Described by Equations
Computing in Systems Described by Equations
A Discipline of Programming
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The temporal logic of branching time
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Structured specifications and implementation of nondeterministic data types
Nordic Journal of Computing
On the Herbrand Kleene Universe for Nondeterministic Computations
Proceedings of the Mathematical Foundations of Computer Science 1984
Free Constructions in Algebraic Institutions
Proceedings of the Mathematical Foundations of Computer Science 1984
Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions
Selected papers from the 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop on Recent Trends in Data Type Specification
Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
An Aximatic Treatment of Algol 68 Routines
Proceedings of the 6th Colloquium, on Automata, Languages and Programming
Proceedings of the 6th Colloquium, on Automata, Languages and Programming
Existential Quantifiers in Abstract Data Types
Proceedings of the 6th Colloquium, on Automata, Languages and Programming
Semantics of Unbounded Nondeterminism
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Terminal Algebra Semantics and Retractions for Abstract Data Types
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Proceedings of the 7th Colloquium on Automata, Languages and Programming
A Cook's Tour of Countable Nondeterminism
Proceedings of the 8th Colloquium on Automata, Languages and Programming
Nondeterminism in Abstract Data Types
Proceedings of the 8th Colloquium on Automata, Languages and Programming
Event Structure Semantics for CCS and Related Languages
Proceedings of the 9th Colloquium on Automata, Languages and Programming
Reasoning with Time and Chance (Extended Abstract)
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Power Domains and Predicate Transformers: A Topological View
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Generated Models and the omega-Rule: The Nondeterministic Case
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations
RTA '93 Proceedings of the 5th International Conference on Rewriting Techniques and Applications
Powerdomains and nondeterministic recursive definitions
Proceedings of the 5th Colloquium on International Symposium on Programming
Pers as Types, Inductive Types and Types with Laws
Seminar and Workshop on Declarative Programming
On the Semantics of Fair Parallelism
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Dijkstras Predicate Transformers & Smyth's Power Domaine
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Semantics of Nondeterministic and Noncontinuous Constructs
Program Construction, International Summer Schoo
Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting
Proceedings of the International Workshop on Algebraic and Logic Programming
Embedding Finite Sets in a Logic Programming Language
ELP '92 Proceedings of the Third International Workshop on Extensions of Logic Programming
Reasoning and Rewriting with Set-Relations I: Ground Completeness
CSL '94 Selected Papers from the 8th International Workshop on Computer Science Logic
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
An introduction to event structures
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
On the Algebraic Specification of Nondeterministic Programming Languages
CAAP '81 Proceedings of the 6th Colloquium on Trees in Algebra and Programming
Characterizing Specification Languages Which Admit Initial Semantics
CAAP '83 Proceedings of the 8th Colloquium on Trees in Algebra and Programming
Power Domains Supporting Recursion and Failure
CAAP '92 Proceedings of the 17th Colloquium on Trees in Algebra and Programming
Must Preorder in Non-Deterministic Untyped Lambda-Calculus
CAAP '92 Proceedings of the 17th Colloquium on Trees in Algebra and Programming
Compostional Relational Semantics for Indeterminate Dataflow Networks
Category Theory and Computer Science
On Observing Nondeterminism and Concurrency
Proceedings of the 7th Colloquium on Automata, Languages and Programming
(Relational) Programming Laws in the Boom Hierarchy of Types
Proceedings of the Second International Conference on Mathematics of Program Construction
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Nondeterministic call by need is neither lazy nor by name
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Computability and completeness in logics of programs (Preliminary Report)
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Logics for probabilistic programming (Extended Abstract)
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
A source of inconsistency in theories of nondeterministic functions
Science of Computer Programming
A functorial semantics for multi-algebras and partial algebras, with applications to syntax
Theoretical Computer Science
Functorial Semantics for Multi-algebras
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Compositional Homomorphisms of Relational Structures
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
Mathematical Structures in Computer Science
Convergent approximate solving of first-order constraints by approximate quantifiers
ACM Transactions on Computational Logic (TOCL)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Behavioral abstraction is hiding information
Theoretical Computer Science - Selected papers of CMCS'03
Nobody's perfect: interactive synthesis from parametrized real-time scenarios
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Quantifier-free logic for nondeterministic theories
Theoretical Computer Science - Logic, language, information and computation
Acta Cybernetica
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
The concept of nondeterminism: its development and implications for teaching
ACM SIGCSE Bulletin
An Approach to Nondeterminism in Translation of CZ Set Theory into Martin-Löf 's Theory of Types
Electronic Notes in Theoretical Computer Science (ENTCS)
NN'10/EC'10/FS'10 Proceedings of the 11th WSEAS international conference on nural networks and 11th WSEAS international conference on evolutionary computing and 11th WSEAS international conference on Fuzzy systems
WSEAS Transactions on Mathematics
From operational to denotational demonic semantics of nondeterministic while loops
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
An adequate, denotational, functional-style semantics for typed FlatCurry
WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming
An algebraic approach for codesign
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Bireachability and final multialgebras
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Institutional semantics for many-valued logics
Fuzzy Sets and Systems
Hi-index | 0.01 |