| 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, C. A. Middelburg |
On the Expressiveness of Single-Pass Instruction Sequences. |
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, C. A. Middelburg |
Inversive meadows and divisive meadows. |
J. Applied Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | C. A. Middelburg |
A Survey of Paraconsistent Logics |
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, 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 | C. A. Middelburg |
Searching publications on operating systems |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | C. A. Middelburg |
Searching publications on software testing |
CoRR |
2010 |
DBLP 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, C. A. Middelburg |
Instruction Sequences with Dynamically Instantiated Instructions. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
A protocol for instruction stream processing |
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, 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, C. A. Middelburg |
Meadow Enriched ACP Process Algebras |
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, 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, 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, C. A. Middelburg |
Instruction sequences for the production of processes |
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, Kees Middelburg |
Thread extraction for polyadic instruction sequences |
CoRR |
2008 |
DBLP 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, C. A. Middelburg |
Synchronous cooperation for explicit multi-threading. |
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, C. A. Middelburg |
Maurer Computers with Single-Thread Control. |
Fundam. Inform. |
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, 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, 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 |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Splitting bisimulations and retrospective conditions. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | C. A. Middelburg |
Conditionals in Algebraic Process Calculi. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Thread Algebra with Multi-Level Strategies. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Process algebra for hybrid systems. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Model Theory for Process Algebra. |
Processes, Terms and Cycles |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Strong Splitting Bisimulation Equivalence. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
A Thread Algebra with Multi-level Strategic Interleaving. |
CiE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, C. A. Middelburg |
Located Actions in Process Algebra with Timing. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | C. A. Middelburg |
Revisiting timing in process algebra. |
J. Log. Algebr. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | C. A. Middelburg |
An alternative formulation of operational conservativity with binding terms. |
J. Log. Algebr. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kees Middelburg |
Process Algebra with Nonstandard Timing. |
Fundam. Inform. |
2002 |
DBLP BibTeX RDF |
|
| 1 | C. A. Middelburg |
Variable binding operators in transition system specifications. |
J. Log. Algebr. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, C. A. Middelburg |
Real time process algebra with time-dependent conditions. |
J. Log. Algebr. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | C. A. Middelburg |
Truth of Duration Calculus Formulae in Timed Frames. |
Fundam. Inform. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Cliff B. Jones, C. A. Middelburg |
A Typed Logic of Partial Functions Reconstructed Classically. |
Acta Inf. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Loe M. G. Feijs, Hans Jonkers, C. A. Middelburg |
Notations for software design. |
|
1994 |
RDF |
|
| 1 | D. J. Andrews, Jan Friso Groote, C. A. Middelburg (eds.) |
Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 |
Semantics of Specification Languages |
1994 |
DBLP BibTeX RDF |
|
| 1 | Wiet Bouma, Willem J. M. Levelt, Alfo Melisse, Kees Middelburg, Louis Verhaard |
Formalisation of Properties for Feature Interaction Detection: Experience in a Real-Life Situation. |
IS&N |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | C. A. Middelburg |
Modular Structuring of VDM Specifications in VVSL. |
Formal Asp. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | C. A. Middelburg, Gerard R. Renardel de Lavalette |
LPF and MPLomega - A Logical Comparison of VDM SL and COLD-K. |
VDM Europe |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | C. A. Middelburg |
VVSL: A Language for Structured VDM Specifications. |
Formal Asp. Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | C. A. Middelburg |
Experiences with Combining Formalisms in VVSL. |
Algebraic Methods |
1989 |
DBLP DOI BibTeX RDF |
1987 CR categories D.2.1, D.2.2, D.3.1, F.3.1, F.4.1, F.3.2 |
| 1 | Kees Middelburg |
The VIP VDM Specification Language. |
VDM Europe |
1988 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")