N/A

A parameterised Boolean equation system (PBES) is a set of equations that defines sets satisfying the equations as the least and/or greatest fixed-points. Thus this system is regarded as a declarative program defining predicates, where a program execution returns whether a given ground atomic formula holds or not. The program execution corresponds to the membership problem of PBESs, which is ho...

The symbolic manipulation program Schoonschip is being made freely available for a number of computers with Motorola 680x0 cpu’s. It can run on machines with relatively modest memory and disk resources, and is designed to run as fast as possible given the host constraints. Memory and disk utilization can be adapted to tune performance. Recently added capabilities include a system for efficient ...

BACKGROUND With the introduction of laparoscopic antireflux surgery (LARS) for gastro-oesophageal reflux disease (GORD) along with the increasing efficacy of modern medical treatment, a direct comparison is warranted. The 3-year interim results of a randomised study comparing both the efficacy and safety of LARS and esomeprazole (ESO) are reported. METHODS LOTUS is an open, parallel-group mul...