W. P. Weijland

According to our database, W. P. Weijland authored at least 7 papers between 1987 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Bitcoin: a Money-like Informational Commodity.

Jan A. Bergstra, Peter Weijland

CoRR, 2014

1990

Branching time and abstraction in bisimulation semantics

Rob van Glabbeek, Peter Weijland

Forschungsberichte, TU Munich, 1990

Semantics for Logic Programs Without Occur Check.

W. P. Weijland

Theor. Comput. Sci., 1990

Process algebra.

Jos C. M. Baeten, W. P. Weijland

Cambridge tracts in theoretical computer science 18, Cambridge University Press, ISBN: 978-0-521-40043-5, 1990

1989

Term-Rewriting Systems with Rule Priorities.

Jos C. M. Baeten, Jan A. Bergstra, Jan Willem Klop, W. P. Weijland

Theor. Comput. Sci., 1989

Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract).

Rob J. van Glabbeek, W. P. Weijland

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1987

Semantics for Prolog via Term Rewrite Systems.

Jos C. M. Baeten, W. P. Weijland

Proceedings of the Conditional Term Rewriting Systems, 1987