|
СТ |
Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes |
2005 |
Abraham E., Bonsangue M. M., de Boer F. S., Steffen M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.04.2005 |
|
СТ |
How to Cook a Complete Hoare Logic for Your Pet OO Language |
2004 |
de Boer F. S., Pierik C. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
12.02.2005 |
|
СТ |
Coordinating Agents in OO |
2004 |
de Boer F. S., Pieric C., Van Eijk R. M., Meyer J.-J. Ch. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
|
СТ |
A Compositional Operational Semantics for JavaMT |
2003 |
Abraham E., de Boer F. S., De Roever W. -P., Steffen M. |
|
|
|
Lecture Notes in Computer Science |
26.03.2004 |
|
СТ |
A Tool-Supported Proof System for Multithreaded Java |
2003 |
Abraham E., de Boer F. S., De Roever W. -P., Steffen M. |
|
|
|
Lecture Notes in Computer Science |
31.01.2004 |
|
СТ |
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts |
2003 |
Pierik C., de Boer F. S. |
|
|
|
Lecture Notes in Computer Science |
18.12.2003 |
|
СТ |
Inductive Proof Outlines for Monitors in Java |
2003 |
Abraham E., de Boer F. S., De Roever W. -P., Steffen M. |
|
|
|
Lecture Notes in Computer Science |
18.12.2003 |
|
СТ |
Verification for Java s Reentrant Multithreading Concept |
2002 |
Abraham-Munn E., de Boer F. S., De Roever W. -P., Steffen M. |
|
|
|
Lecture Notes in Computer Science |
09.05.2002 |
|
СТ |
A Programming Logic for Part of the Agent Language 3APL |
2001 |
Hindriks K. V., de Boer F. S., Van Der Hoek W., Meyer J.-J. C. |
|
|
|
Lecture Notes in Artificial Intelligence |
05.11.2001 |
|
СТ |
Semantics of Communicating Agents Based on Deduction and Abduction |
2000 |
Hindriks K. V., de Boer F. S., Van Der Hoek W., Meyer J.-J. C. |
|
|
|
Lecture Notes in Artificial Intelligence |
29.11.2000 |
|
СТ |
Operational Semantics for Agent Communication Languages |
2000 |
Van Eijk R. M., de Boer F. S., Van Der Hoek W., Meyer J.-J. C. |
|
|
|
Lecture Notes in Artificial Intelligence |
29.11.2000 |
|
СТ |
A Logical Interface Description Language for Components |
2000 |
Arbab F., de Boer F. S., Bonsangue M. M. |
|
|
|
Lecture Notes in Computer Science |
05.10.2000 |
|
СТ |
Proof-Outlines for Threads in Java |
2000 |
Abraham-Mumm E., de Boer F. S. |
|
|
|
Lecture Notes in Computer Science |
15.09.2000 |
|
СТ |
Failure Semantics for the Exchange of Information in Multi-Agent Systems |
2000 |
de Boer F. S., Van Eijk R. M., Van Der Hoek W., Meyer J.-J. C. |
|
|
|
Lecture Notes in Computer Science |
15.09.2000 |
|
СТ |
Object-Oriented and Constraints Programming for Time Critical Applications |
1999 |
de Boer F. S. |
|
|
|
Lecture Notes in Computer Science |
26.01.2000 |
|
СТ |
Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach |
1999 |
de Boer F. S., Hannemann U., De Roever W. -P. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
|
СТ |
A WP-calculus for OO |
1999 |
de Boer F. S. |
|
|
|
Lecture Notes in Computer Science |
02.04.1999 |
|
СТ |
Generic Process Algebras for Asynchronous Communication |
1999 |
de Boer F. S., Zavattaro G. |
|
|
|
Lecture Notes in Computer Science |
15.09.1999 |
|
СТ |
Compositional Proof Methods for Concurrency: A Semantic Approach |
1998 |
de Boer F. S., De Roever W. -P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.01.1999 |
|
СТ |
Partial Order and SOS Semantics for Linear Constraint Programs |
1997 |
Best E., de Boer F. S., Palamidessi C. |
|
|
|
Lecture Notes in Computer Science |
12.09.1997 |
|
СТ |
Proving Correctness of Constraint Logic Programs with Dynamic Scheduling |
1996 |
de Boer F. S., Gabbrielli M., Palamidessi C. |
Lecture Notes in Computer Science |
|
|
Static Analysis |
04.10.1996 |
|
СТ |
A Compositional Proof System for Asynchronously Communicating Processes |
1995 |
de Boer F. S., Van Hulst M. |
|
|
|
Lecture Notes in Computer Science |
30.03.2002 |
|
СТ |
Modeling Real-Time in Concurrent Constraint Programming |
1995 |
de Boer F. S., Gabbrielli M. |
|
|
|
Logic Programming: Proc. of the 1995 Intern. Symp. |
25.04.1996 |
|
СТ |
A Proof System for Asynchronously Communicating Deterministic Processes |
1994 |
de Boer F. S., Van Hulst M. |
|
|
|
Lecture Notes in Computer Science |
29.09.1994 |
|
СТ |
Proving Concurrent Constraint Programs Correct |
1994 |
de Boer F. S., Gabrielli M., Marchiori E., Palamidessi C. |
|
|
|
Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages |
29.08.1997 |
|
СТ |
On Blocks: locality and asynchronous communication |
1993 |
de Boer F. S., Kok J. N., Palamidessi C., Rutten J.J.M. M. |
|
|
|
Lecture Notes in Computer Science |
11.06.1993 |
|
СТ |
Non-monotonic Concurrent Constraint Progpamming |
1993 |
de Boer F. S., Kok J. N., Palamidessi C., Rutten J.J.M. M. |
|
|
|
Logic Programming: Proc./1993 Intern. Symp. |
20.09.1994 |
|
СТ |
A Process Algebra of Concurrent Constraint Programming |
1992 |
de Boer F. S., Palamidessi C. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
|
СТ |
Concurrent Logic Programming Asynchronous and Language Comparison |
1990 |
de Boer F. S., Palamidessi C. |
|
|
|
Logic Programming: Proc./1990 North American Conf. |
24.11.1994 |
