Results 261 to 270 of about 352,902 (309)
Electronic Notes in Theoretical Computer Science, 2007 Abstract We describe: (1) the internal structures of FDR, the refinement model checker for Hoare’s Communicating Sequential Processes (CSP); and (2) an application-programming interface (API) that allows users to interact more closely with FDR and to have finer-grain control over its behaviour and data structures.
Leo Freitas, Jim Woodcock
exaly +4 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2022
Abstract After winning the greatest victory ever in 1936, Franklin Roosevelt stunned the country the following year. He proposed adding up to six new justices to the Supreme Court for every justice who reached the age of seventy and did not retire. He did so under the stated guise of assisting elderly justices.
openaire +1 more source
Abstract After winning the greatest victory ever in 1936, Franklin Roosevelt stunned the country the following year. He proposed adding up to six new justices to the Supreme Court for every justice who reached the age of seventy and did not retire. He did so under the stated guise of assisting elderly justices.
openaire +1 more source
2017
In the previous chapter we gave a brief explanation of the three FDRs which are the focus of this book: solicitor negotiations, mediation and collaborative law. This chapter traces the history of each FDR in England and Wales, including professional membership, training, organisations and regulation, developments in practice, and findings of previous ...
Anne Barlow +3 more
openaire +1 more source
In the previous chapter we gave a brief explanation of the three FDRs which are the focus of this book: solicitor negotiations, mediation and collaborative law. This chapter traces the history of each FDR in England and Wales, including professional membership, training, organisations and regulation, developments in practice, and findings of previous ...
Anne Barlow +3 more
openaire +1 more source
2017
This chapter identifies twin foreign policy influences on the 1944 election. The first and most straightforward was that the United States was, like many others, a nation at war and that this had a huge impact on the campaign. The second influence was the decision by the Republican contender, Thomas E.
openaire +1 more source
This chapter identifies twin foreign policy influences on the 1944 election. The first and most straightforward was that the United States was, like many others, a nation at war and that this had a huge impact on the campaign. The second influence was the decision by the Republican contender, Thomas E.
openaire +1 more source
Fluid Dynamics Research, 2010
From the 56 papers published in 2010 in Fluid Dynamics Research the following paper has been selected for the fourth FDR prize: 'Baroclinic multipole formation from heton interaction' by M A Sokolovskiy and X J Carton, published in volume 42 (August 2010) 045501. Coherent vortices are a universal feature of fluids at moderate and large Reynolds number,
openaire +1 more source
From the 56 papers published in 2010 in Fluid Dynamics Research the following paper has been selected for the fourth FDR prize: 'Baroclinic multipole formation from heton interaction' by M A Sokolovskiy and X J Carton, published in volume 42 (August 2010) 045501. Coherent vortices are a universal feature of fluids at moderate and large Reynolds number,
openaire +1 more source
Fluid Dynamics Research, 2009
From the 45 papers published in the year 2008 in Fluid Dynamics Research the following paper has been selected for the second FDR prize: 'Propagation of very long water waves, with vorticity, over variable depth, with applications to tsunamis' by Adrian Constantin and Robin S Johnson, published in volume 40 (March 2008) pp 175–211. This paper takes, as
openaire +1 more source
From the 45 papers published in the year 2008 in Fluid Dynamics Research the following paper has been selected for the second FDR prize: 'Propagation of very long water waves, with vorticity, over variable depth, with applications to tsunamis' by Adrian Constantin and Robin S Johnson, published in volume 40 (March 2008) pp 175–211. This paper takes, as
openaire +1 more source
2017
As outlined in Chapter 1, neoliberal policy developments concerning family dispute resolution have emphasised the importance of parties resolving their dispute out of court, ideally by mediation, but have demonstrated little concern with the content or quality of resolutions, beyond asserting that agreements reached between the parties themselves are ...
Anne Barlow +3 more
openaire +1 more source
As outlined in Chapter 1, neoliberal policy developments concerning family dispute resolution have emphasised the importance of parties resolving their dispute out of court, ideally by mediation, but have demonstrated little concern with the content or quality of resolutions, beyond asserting that agreements reached between the parties themselves are ...
Anne Barlow +3 more
openaire +1 more source
1996
Franklin Delano Roosevelt and Harry S. Truman are two men whose backgrounds were very dissimilar but whose achievements proved to be roughly comparable—both became President of the United States. It is, for example, ironic that the wealthy Roosevelt is best known for his social programs and that Truman, who came from modest circumstances in the Middle ...
openaire +1 more source
Franklin Delano Roosevelt and Harry S. Truman are two men whose backgrounds were very dissimilar but whose achievements proved to be roughly comparable—both became President of the United States. It is, for example, ironic that the wealthy Roosevelt is best known for his social programs and that Truman, who came from modest circumstances in the Middle ...
openaire +1 more source