| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jan A. Bergstra, C. A. Middelburg |
Instruction sequence processing operators.  |
Acta Inf.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Turing Impossibility Properties for Stack Machine Programming |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Process algebra with conditionals in the presence of epsilon |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra |
Four Conceptions of Instruction Sequence Faults |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra |
About Instruction Sequence Testing |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
On the Expressiveness of Single-Pass Instruction Sequences. |
Theory Comput. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Inge Bethke |
On the Contribution of Backward Jumps to Instruction Sequence Expressiveness. |
Theory Comput. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Thread algebra for poly-threading. |
Formal Asp. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra |
Editorial. |
Sci. Comput. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Jaco van de Pol |
A calculus for four-valued sequential logic. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Inversive meadows and divisive meadows. |
J. Applied Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, G. P. A. J. Delen, S. F. M. van Vlijmen |
Outsourcing Competence |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra |
Putting Instruction Sequences into Effect |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, G. P. A. J. Delen, S. F. M. van Vlijmen |
Stratified Outsourcing Theory |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra |
Informatics Perspectives on Decision Taking |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, G. P. A. J. Delen, S. F. M. van Vlijmen |
Introducing Sourcements |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
On the behaviours produced by instruction sequences under execution |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra |
Real Islamic Logic |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Inge Bethke |
Straight-line Instruction Sequence Completeness for Total Calculation on Cancellation Meadows. |
Theory Comput. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Alban Ponse |
Proposition algebra. |
ACM Trans. Comput. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Alban Ponse |
Proposition Algebra and Short-Circuit Logic. |
FSEN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
On the operating unit size of load/store architectures. |
Mathematical Structures in Computer Science |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
A thread calculus with molecular dynamics. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
An Interface Group for Process Components. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Data Linkage Dynamics with Shedding. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
On the definition of a theoretical concept of an operating system |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Alban Ponse |
Short-circuit logic |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Inge Bethke |
On the contribution of backward jumps to instruction sequence expressiveness |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra |
Steering Fragments of Instruction Sequences |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Alban Ponse |
On Hoare-McCarthy algebras |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra |
Formaleuros, formalcoins and virtual monies |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, S. F. M. van Vlijmen |
Business Mereology: Imaginative Definitions of Insourcing and Outsourcing Transformations |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra |
Informal Control code logic |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Yoram Hirshfeld, J. V. Tucker |
Meadows and the equational specification of division. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Machine structure oriented control code logic. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Alban Ponse |
An Instruction Sequence Semigroup with Involutive Anti-Automorphisms. |
Sci. Ann. Comp. Sci. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Instruction Sequences with Dynamically Instantiated Instructions. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Alban Ponse |
An Instruction Sequence Semigroup with Involutive Anti-Automorphisms |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
A protocol for instruction stream processing |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Mark Burgess |
Local and Global Trust Based on the Concept of Promises |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Autosolvability of halting problem instances for instruction sequences |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Instruction sequence notations with probabilistic instructions |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Instruction sequence processing operators |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
A process calculus with finitary comprehended terms |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Inge Bethke |
Straight-line instruction sequence completeness for total calculation on cancellation meadows |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Indirect jumps improve instruction sequence performance |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Timed tuplix calculus and the Wesseling and van den Berg equation |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Functional units for natural numbers |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Arithmetical meadows |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Alban Ponse |
A progression ring for interfaces of instruction sequences, threads, and services |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Meadow Enriched ACP Process Algebras |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Inge Bethke |
Square root meadows |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Transmission protocols for instruction streams |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Transmission Protocols for Instruction Streams. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Maurer computers for pipelined instruction processing. |
Mathematical Structures in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Distributed strategic interleaving with load balancing. |
Future Generation Comp. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Alban Ponse, Mark van der Zwaag |
Tuplix Calculus. |
Sci. Ann. Comp. Sci. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Parallel Processes with Implicit Computational Capital. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Program algebra with a jump-shift instruction. |
J. Applied Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Simulating Turing machines on Maurer machines. |
J. Applied Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Programming an interpreter using molecular dynamics |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Mark Burgess |
A static theory of promises |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Sanne Nolst Trenité, Mark van der Zwaag |
Towards a formalization of budgets |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Kees Middelburg |
Thread extraction for polyadic instruction sequences |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Alban Ponse |
Proposition Algebra with Projective Limits |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Instruction sequences and non-uniform complexity theory |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Data linkage dynamics with shedding |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
On the expressiveness of single-pass instruction sequences |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Data linkage algebra, data linkage dynamics, and priority rewriting |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Mark van der Zwaag |
Mechanistic Behavior of Single-Pass Instruction Sequences |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Sanne Nolst Trenité, Mark van der Zwaag |
Tuplix Calculus Specifications of Financial Transfer Networks |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Instruction sequences for the production of processes |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Alban Ponse |
An Instruction Sequence Semigroup with Repeaters |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Thread algebra for sequential poly-threading |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, John V. Tucker |
Division Safe Calculation in Totalised Fields. |
Theory Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Meadow, Zero totalised field, Elementary algebraic specification, Rational number |
| 1 | Jan A. Bergstra, Yoram Hirshfeld, John Tucker |
Fields, Meadows and Abstract Data Types. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Thread algebra for strategic interleaving. |
Formal Asp. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Interleaving strategies, Services, Threads, Multi-threading, Deadlock freedom, Thread algebra |
| 1 | Jan A. Bergstra, C. A. Middelburg |
Preferential choice and coordination conditions. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra |
Letter from the editor. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Paul Klint |
About "trivial" software patents: The IsNot case. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Synchronous cooperation for explicit multi-threading. |
Acta Inf. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Inge Bethke, Alban Ponse |
Decision problems for pushdown threads. |
Acta Inf. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Instruction Sequences with Indirect Jumps. |
Sci. Ann. Comp. Sci. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Programming an Interpreter Using Molecular Dynamics. |
Sci. Ann. Comp. Sci. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Alban Ponse |
Execution architectures for program algebra. |
J. Applied Logic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, J. V. Tucker |
The rational numbers as an abstract data type. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
division-by-zero, meadow, total versus partial functions, abstract data types, algebraic specification, computable algebras, field, equations, Rational numbers, initial algebra |
| 1 | Jan A. Bergstra, C. A. Middelburg |
Maurer Computers with Single-Thread Control. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Inge Bethke, Mark Burgess |
A process algebra based framework for promise theory |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Alban Ponse |
Interface groups and financial transfer architectures |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
On the operating unit size of load/store architectures |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
An interface group for process components |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Alban Ponse |
Projection semantics for rigid loops |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
A thread calculus with molecular dynamics |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Machine structure oriented control code logic |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Alban Ponse, Mark van der Zwaag |
Tuplix Calculus |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Program algebra with a jump-shift instruction |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Instruction sequences with indirect jumps |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Instruction Sequences with Dynamically Instantiated Instructions |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
A Thread Algebra with Multi-Level Strategic Interleaving. |
Theory Comput. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Continuity controlled hybrid automata. |
J. Log. Algebr. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")