DOCSLIB.ORG

Filing Manual for Reports, Correspondence, and Related Records 1945-1951

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Filing Manual for Reports, Correspondence, and Related Records 1945-1951 Filing Manual for Reports, Correspondence, and Related Records 1945-1951 Department of Defense. European Command. Office of Military Government for Germany (U.S.). Office of Military Government, Bavaria. Legal Division. German Courts Branch 1.0 Monthly Reports 1.1 Quarterly Reports 1.2 Annual Reports 1.3 Report of Matters of Interest to MG 1.4 Extracts from Reports OMGH 1.5 Extracts from Reports OMGWB 1.6 LSO Intelligence Reports Concerning German Courts 1.7 Semi-Monthly MG Reports 1.8 Reports from Civil Censorship Division 1.9 Interesting Cases Condensed for Reports 1.10 Weekly Reports from OMGUS 1.11 Reports (Policy) 1.12 Semi-Annual Reports 1.13 Military Government Operations Report 2.1 Ministry of Justice (General) 2.2 Budget of Bavarian Ministry of Justice 2.3 Monthly Reports from Ministry of Justice 2.4 Instructions to Ministry 2.5 Monthly Activity Reports of Bav. Ministry of Justice 2.6 Circulars Issued by M/J to Subordinate Agencies 2.8 German Courts Report 2.9 Summary of German Justice Reports 3.0 Reciprocal Legal Aid with Austria 3.1 Reciprocal Legal Aid with Czechoslavakia 3.2 Reciprocal Legal Aid (Policy) 3.3 Reciprocal Legal Aid with Argentina 3.4 Reciprocal Legal Aid with Belgium 3.5 Reciprocal Legal Aid with France 3.6 Reciprocal Legal Aid with Great Britain 3.7 Reciprocal Legal Aid with Italy 3.8 Reciprocal Legal Aid with Liechtenstein 3.9 Reciprocal Legal Aid with Luxembourg 3.10 Reciprocal Legal Aid with Netherlands 3.11 Reciprocal Legal Aid with Poland 3.12 Reciprocal Legal Aid with Switzerland 3.13 Reciprocal Legal Aid with U.S.A. 3.14 Reciprocal Legal Aid with Yugoslavia 4.1 Complaints Against Administration of Justice 4.2 Instructions to Judges 4.3 No Interference with German Judiciary Interference with German Judiciary 5.0 Letters from German Courts Branch Bamberg 5.1 Letters from German Courts Branch Nurenberg 5.2 Letters from German Courts Branch to Field Inspectors 5.3 Monthly Activity Reports fr Ger. Courts Br. Bamberg 5.4 Monthly Activity Reports fr Ger. Courts Br. Nurenberg 6.6 Criminal Cases Null and Void 7.1 Adoption Cases 7.2 Divorce Proceedings (Policy) 7.3 Divorce Cases 7.4 Marriage 7.5 Civil Matters A-N 7.5a Recovery Cases, Automobile Cases 7.6 Civil Matters O-Z 7.7 Money Claims Against Legal Entities 7.8 Legalization of Documents 7.10 Civil Cases Declared Null and Void By MG and OLCB 7.11 Restitution 8.0 Prisoners (Miscellaneous) 8.1 Remand Prisoners (Monthly Prison Reports) 8.2 Extradition 8.3 Pre-Trial Prisoners (Miscellaneous) 8.4 Prisons 8.5 Juveniles 8.6 Clemency 8.7 Probation - Parole 8.8 Petitions 8.10 Interrogation of Dachau Prisoners 9.0 Legal Education 9.1 Legal State Examinations 10.0 Military Government Courts 10.1a Records of Conviction (Reports of Conviction) 10.2 Cases Referred to MG Courts 10.3 MG Courts Defendants (Miscellaneous) 11.0 Obertes Landesgericht (Highest Supreme Court) 11.1 Oberlandesgericht (Supreme Court) Munich 11.2 Oberlandesgericht (Supreme Court) Bamberg 11.3 Oberlandesgericht (Supreme Court) Nurnberg 11.4 Court of Honor 11.5 Administrative Courts 11.6 Supreme Finance Court 11.7 Arbitration Courts 11.8 Grundbuchamer (Land Registers) 11.9 Schoeffengerichte (Jury Courts) 11.10 Cases for German Courts (Policy) 11.11 Cases Referred to German Courts 11.12 Supervision of German Courts 11.13 Miscellaneous Problems of German Courts 11.14 Interference with German Courts 11.15 Peasants' Courts 11.16 "Police Courts" (Traffic Control) 11.17 Inspection of German Courts 11.18 Schwurgerichte (Juries) 12.0 Judicial Personnel (Miscellaneous) 12.1 Judges 12.2 Prosecutors 12.3 Judges and Prosecutors in Political Cases 12.4 Personnel Files of Former Reich Ministry of Justice 12.5 Referendare 12.6 Attorneys and Notaries 12.7 Admissions - Readmissions 12.7a Licensing of Notaries 12.8 Rechtsanwaltskammer (Bar Association) Bamberg 12.9 Rechtsanwaltskammer (Bar Association) Munich 12.10 Rechtsanwaltskammer (Bar Association) Nurnberg 12.11 Association of Rechtsbeistaende (Legal Aides) 12.12 Attorneys before Honor Court 12.13 Ordinance on Freedom to Engage in Trade and Industry 13.0 Constitution of Bavaria 13.1 Decisions of Verfassungsgerichtshof (Constitutional Court) 13.2 Democratization and Decentralization in Bavaria 13.3 Bizonal Legal Committee 13.4 Bizonal Court 13.5 Channels of Communication with German Government Agencies 14.0 Law for Political Liberation 14.1 Denazification (Policy) 14.2 Denazification Cases 14.3 Spruchkammer Miscellaneous 14.3a Employment of Spruchkammer Personnel 14.4 Falsification of Meldebogen and Fragebogen Correspondence 14.5 Falsification of Meldebogen (for Prosecution) 14.6 Document Center - Berlin 14.7 Ordinary Labor 14.8 Private Suits Connected with Denazification Proceedings 14.9 Law on Redress of National Socialist Wrongs Committed In Administration of Criminal Justice 14.10 Nazi Special Courts 15.0 Conferences with Bav. Ministry of Justice 15.1 Meetings of Laenderrat (Local Diet) Legal Committee 15.5 Juristic Conference Wiesbaden 15.6 Juristic Conference Constance 15.7 Juristic Conference Munich 15.8 Meeting of Prosecutors General, Frankfurt 16.0 Miscellaneous Matters 16.1 Letters of Transmittal 16.2 Displaced Persons 16.4 Currency 16.5 Radio Speech 16.8 Press and Publication Matters 17.0 Nuernberg Trials 17.1 Attendance of German Judiciary at Nuernberg Trials 18.0 International Military Tribunal Screening Committee 18.5 Schwarz, Johann et al. 19.2 University Law School Scholarships 20.0 German Courts Branch (Miscellaneous) 20.2 U.S. Personnel (Miscellaneous) 20.4 Travel Orders 20.5 Indigenous Personnel 20.5a Applications of Attorneys 22.1 No. 52 Blocking and Control of Property 22.2 No. 53 Foreign Exchange Control 22.3 No. 56 Prohibition of Excessive Concentration of German Economic Power 22.4 No. 59 Restitution of Identifiable Property 22.7 No. 161 Frontier Control 22.8 No. 191 Information Control 22.9 No. 13 Repeal of Reich Hunting Act 22.11 No. 17 International Frontier Control 22.18 No. 20 Prohibition Against Import of Cigarettes 22.19 No. 31 U.S. Military Government Courts for Germany 22.24 No. 29/30 Expulsion of Undesirable Germans and Non-Germans from U.S. Zone 23.4 No. 50 Punishment for Violation of Rationing Laws 23.8 No. 34 Dissolution of Wehrmacht 24.1 General Interpretation 24.5 Civil Cases (General) 24.6 Civil Cases Involving MG Orders 24.15 Authorizations Denied 24.17 Cases Returned for Correct Submission 24.18 General Policy on Regulation No. 1 24.20 Entries on Public Registers 24.21 Legal Transactions Involving MG Laws No. 52 and 53 24.22 Testimony of U.S. Witnesses in German Courts 24.24 Extension of Jurisdiction 24.11 Criminal Cases (General) .
Load more

Recommended publications
  • Beyond the Boat
    Beyond the Boat RIVER CRUISE EXTENSION TOURS Welcome! We know the gift of travel is a valuable experience that connects people and places in many special ways. When tourism closed its doors during the difficult months of the COVID-19 outbreak, Germany ranked as the second safest country in the world by the London Deep Knowled- ge Group, furthering its trust as a destination. When you are ready to explore, river cruises continue to be a great way of traveling around Germany and this handy brochure provides tour ideas for those looking to venture beyond the boat or plan a stand-alone dream trip to Bavaria. The special tips inside capture the spirit of Bavaria – traditio- nally different and full of surprises. Safe travel planning! bavaria.by/rivercruise facebook.com/visitbavaria instagram.com/bayern Post your Bavarian experiences at #visitbavaria. Feel free to contact our US-based Bavaria expert Diana Gonzalez: [email protected] TIP: Stay up to date with our trade newsletter. Register at: bavaria.by/newsletter Publisher: Photos: p. 1: istock – bkindler | p. 2: BayTM – Peter von Felbert, Gert Krautbauer | p. 3: BayTM – Peter von Felbert, fotolia – BAYERN TOURISMUS herculaneum79 | p. 4/5: BayTM – Peter von Felbert | p. 6: BayTM – Gert Krautbauer | p. 7: BayTM – Peter von Felbert, Gert Kraut- Marketing GmbH bauer (2), Gregor Lengler, Florian Trykowski (2), Burg Rabenstein | p. 8: BayTM – Gert Krautbauer | p. 9: FC Bayern München, Arabellastr. 17 Burg Rabenstein, fotolia – atira | p. 10: BayTM – Peter von Felbert | p. 11: Käthe Wohlfahrt | p. 12: BayTM – Jan Greune, Gert Kraut- 81925 Munich, Germany bauer | p.
    [Show full text]
  • Business Bavaria Newsletter
    Business Bavaria Newsletter Issue 07/08 | 2013 What’s inside 5 minutes with … Elissa Lee, Managing Director of GE Aviation, Germany Page 2 In focus: Success of vocational training Page 3 Bavaria in your Briefcase: Summer Architecture award for tourism edition Page 4 July/August 2013 incl. regional special Upper Franconia Apprenticeships – a growth market Bavaria’s schools are known for their well-trained school leavers. In July, a total of According to the latest education monitoring publication of the Initiative Neue 130,000 young Bavarians start their careers. They can choose from a 2% increase Soziale Marktwirtschaft, Bavaria is “top when it comes to school quality and ac- in apprenticeships compared to the previous year. cess to vocational training”. More and more companies are increasing the number of training positions to promote young people and thus lay the foundations for With 133,000 school leavers, 2013 has a sizeable schooled generation. Among long-term success. the leavers are approximately 90,000 young people who attended comprehensive school for nine years or grammar school for ten. Following their vocational train- The most popular professions among men and women are very different in Ba- ing, they often start their apprenticeships right away. varia: while many male leavers favour training as motor or industrial mechanics To ensure candidates and positions are properly matched, applicants and com- or retail merchants, occupations such as office manager, medical specialist and panies seeking apprentices are supported in their search by the Employment retail expert are the most popular choices among women. Agency. Between October 2012 and June 2013 companies made a total of 88,541 free, professional, training places available – an increase of 1.8% on the previ- www.ausbildungsoffensive-bayern.de ous year.
    [Show full text]
  • Kommunale Partnerschaften Der Europäischen Metropolregion Nürnberg
    Stadt Nürnberg Amt für Internationale Beziehungen Partnerkommunen von Städten, Gemeinden und Landkreisen in der Europäischen Metropolregion Nürnberg Stadt / Gemeinde Landkreis Partnerkommune Land Landkreis Adelsdorf Erlangen-Höchstadt, Uggiate Trevano Italien MFr Adelsdorf Erlangen-Höchstadt, Feldbach Österreich MFr Ahorn Coburg, OFr Irdning Österreich Ahorn Coburg, OFr Eisfeld Thüringen Allersberg Roth, MFr Saint-Céré Frankreich Altdorf b. Nürnberg Nürnberger Land, MFr Sehma Sachsen Altdorf b. Nürnberg Nürnberger Land, MFr Dunaharaszti Ungarn Altdorf b. Nürnberg Nürnberger Land, MFr Pfitsch Italien Altdorf b. Nürnberg Nürnberger Land, MFr Colbitz Sachsen-Anhalt Amberg kreisfrei, OPf Perigueux Frankreich Amberg kreisfrei, OPf Trikala Griechenland Amberg kreisfrei, OPf Desenzano del Garda Italien Amberg kreisfrei, OPf Bystrzyca Klodzka Polen Amberg kreisfrei, OPf Kranj Slowenien Amberg kreisfrei, OPf Usti nad Orilici Tschechien Amberg-Sulzbach Landkreis, OPf Canton Maintenon Frankreich Amberg-Sulzbach Landkreis, OPf Grafschaft Argyll Großbritannien Amberg-Sulzbach Landkreis, OPf Lkr. Sächsische Sachsen Schweiz Ammerndorf Fürth, MFr Dulliken Schweiz Ammerthal Amberg-Sulzbach, OPf Modiim Israel Ansbach kreisfrei, MFr Jingjiang China Ansbach Landkreis, MFr Jingjiang China Ansbach kreisfrei, MFr Anglet Frankreich Ansbach kreisfrei, MFr Fermo Italien Ansbach Landkreis, MFr Erzgebirgskreis Sachsen Ansbach Landkreis, MFr Mudanya Türkei Ansbach kreisfrei, MFr Bay City USA Arzberg Wunsiedel, Ofr Arzberg Österreich Arzberg Wunsiedel, Ofr Horní Slavkov
    [Show full text]
  • Bamberg – Bayreuth A70
    Autobahndirektion Nordbayern BAMBERG – BAYREUTH A70 Verlegung der Fahrbahn aus einem Rutschhangbereich bei Thurnau Wegen der zunehmenden Hangbewegungen Im Jahr 2020 erfolgt der Abtrag des notwen- an der A70 östlich von Thurnau ist es zwin- digen Geländeeinschnittes und der Bau der gend notwendig geworden, die Fahrbahnen Anschlussstellenbrücke. Die überschüssigen dieser Autobahnstrecke zu verlegen. Erdmassen werden für Seitendeponien in Seit April 2020 laufen mittlerweile die Bau- Form von Wällen mit Lärmschutzwirkung arbeiten im Streckenabschnitt zwischen der längs der A70 bei Thurnau und Langenstadt Anschlussstelle (AS) Thurnau-West und dem sowie Oberbrücklein (Ortsteile von Neudros- Rotmaintal. senfeld) und längs der A9 bei Lanzendorf (Ortsteil von Himmelkron) verwendet. Die Standsicherheit der bestehenden Fahr- spuren ist auf Dauer nicht gewährleistet. Die Fahrbahnen der alten Trasse werden Nur mit Hilfe eines komplexen Monitoring- zurückgebaut und danach aufgeforstet, bzw. Systems (fortlaufende Permanentüber- als landwirtschaftliche Fläche oder Sukzessi- wachung des Hanges) kann derzeit die onsfläche genutzt. uneingeschränkte Nutzung der Autobahn Ein Großteil der Arbeiten kann ohne wesentli- gewährleistet werden. che Beeinträchtigung des Verkehrs erfolgen, Nach Prüfung verschiedener Möglichkeiten da die neue Trasse neben der bestehenden zur Sicherung der, teilweise seit den A70 liegt. 60er Jahren bestehenden A70, kam als Erst in der letzten Bauphase werden Teilsper- tragbarer Lösungsansatz schließlich nur eine rungen der AS Thurnau-Ost erforderlich. Bis Verlegung in Betracht. Auf einer Länge von Ende des Jahres 2023 sollen die Bauarbeiten rund drei Kilometern wird die Trasse bis zu abgeschlossen sein. 200 Meter Richtung Norden auf geologisch Die Kosten in Höhe von ca. 65 Millionen Euro sicheres Gelände verlegt. trägt die Bundesrepublik Deutschland. Aufgrund der Dringlichkeit der Fahrbahner- neuerung wurden bereits seit November 2018 die ersten Vormaßnahmen geplant.
    [Show full text]
  • The Peace of Augsburg in Three Imperial Cities by Istvan
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by University of Waterloo's Institutional Repository Biconfessionalism and Tolerance: The Peace of Augsburg in Three Imperial Cities by Istvan Szepesi A thesis presented to the University Of Waterloo in fulfilment of the thesis requirement for the degree of Master of Arts in History Waterloo, Ontario, Canada, 2016 © Istvan Szepesi 2016 I hereby declare that I am the sole author of this thesis. This is a true copy of the thesis, including any required final revisions, as accepted by my examiners. I understand that my thesis may be made electronically available to the public. ii Abstract In contrast to the atmosphere of mistrust and division between confessions that was common to most polities during the Reformation era, the Peace of Augsburg, signed in 1555, declared the free imperial cities of the Holy Roman Empire a place where both Catholics and Lutherans could live together in peace. While historians readily acknowledge the exceptional nature of this clause of the Peace, they tend to downplay its historical significance through an undue focus on its long-term failures. In order to challenge this interpretation, this paper examines the successes and failures of the free imperial cities’ implementation of the Peace through a comparative analysis of religious coexistence in Augsburg, Cologne, and Nuremberg during the Peace’s 63- year duration. This investigation reveals that while religious coexistence did eventually fail first in Nuremberg and then in Cologne, the Peace made major strides in the short term which offer important insights into the nature of tolerance and confessional conflict in urban Germany during the late Reformation era.
    [Show full text]
  • Handbook for Incoming Students
    Handbook for Erasmus-Students -University of Applied Sciences for Public Administration and Legal Affairs in Bavaria- Location: Hof 1 Contents 1 Welcome in Germany/Bavaria/Upper Franconia/Hof .......................................................4 1.1 Germany ..................................................................................................................4 1.2 Bavaria .....................................................................................................................4 1.3 Upper Franconia ......................................................................................................4 1.4 Hof ...........................................................................................................................6 2 Arrival ..............................................................................................................................7 2.1 … by car ...................................................................................................................7 2.2 … by train .................................................................................................................7 2.3 … connection via city-bus.........................................................................................7 2.4 … by plane ...............................................................................................................8 3 Accommodation...............................................................................................................8 3.1 Equipment ................................................................................................................9
    [Show full text]
  • Invest in Bavaria Facts and Figures
    Invest in Bavaria Investors’guide Facts and Figures and Figures Facts www.invest-in-bavaria.com Invest Facts and in Bavaria Figures Bavarian Ministry of Economic Affairs, Infrastructure, Transport and Technology Table of contents Part 1 A state and its economy 1 Bavaria: portrait of a state 2 Bavaria: its government and its people 4 Bavaria’s economy: its main features 8 Bavaria’s economy: key figures 25 International trade 32 Part 2 Learning and working 47 Primary, secondary and post-secondary education 48 Bavaria’s labor market 58 Unitized and absolute labor costs, productivity 61 Occupational co-determination and working relationships in companies 68 Days lost to illness and strikes 70 Part 3 Research and development 73 Infrastructure of innovation 74 Bavaria’s technology transfer network 82 Patenting and licensing institutions 89 Public sector support provided to private-sector R & D projects 92 Bavaria’s high-tech campaign 94 Alliance Bavaria Innovative: Bavaria’s cluster-building campaign 96 Part 4 Bavaria’s economic infrastructure 99 Bavaria’s transport infrastructure 100 Energy 117 Telecommunications 126 Part 5 Business development 127 Services available to investors in Bavaria 128 Business sites in Bavaria 130 Companies and corporate institutions: potential partners and sources of expertise 132 Incubation centers in Bavaria’s communities 133 Public-sector financial support 134 Promotion of sales outside Germany 142 Representative offices outside Germany 149 Important addresses for investors 151 Invest in Bavaria Investors’guide Part 1 Invest A state and in Bavaria its economy Bavarian Ministry of Economic Affairs, Infrastructure, Transport and Technology Bavaria: portrait of a state Bavaria: part of Europe Bavaria is located in the heart of central Europe.
    [Show full text]
  • RE 55, RB 53 Würzburg Hbf – Bamberg Vom 12. Jan. Bis 25. Jan. Schienenersatzverkehr (SEV) Haßfurt – Ebelsbach-Eltmann
    RE 55, RB 53 Würzburg Hbf – Bamberg vom 12. Jan. bis 25. Jan. Schienenersatzverkehr (SEV) Haßfurt – Ebelsbach-Eltmann , 18.12.2020 zvF 70899) zvF Nürnberg (zu Regio Bayern Erläuterungen zum SEV-Symbol Bei einem Schienenersatzverkehr sind Ihnen diese beiden Symbole auf Bussen, Halte- stellen, Aushängen und als Bestandteil der Wegeleitung vom/zum Schienenersatzver- kehr behilflich. Bitte beachten Sie hierbei folgendes: Das untere Symbol wird schrittweise durch das obere (neue) Symbol ersetzt. Gültigkeit haben weiterhin beide Symbole. Farben und Kennzeichnungen in den Fahrplantabellen 6.48 frühere Abfahrt 6.48 spätere Abfahrt 6.48 Busabfahrt (SEV) 6.48 Fahrt kann später verkehren 6.48 Fahrt fällt aus 6.48 zusätzlicher Bus / Expressbus X 6.48 Zug hält nur bei Bedarf ʱ …ʹ Erläuterung siehe unter der Fahrplantabelle ˎ Zug bzw. Bus mit Fahrradbeförderung ̄ Zugvereinigung / Zugteilung beachten Max Maulwurf – Symbolfigur der Deutschen Bahn bei Bauarbeiten Seit 1994 informiert der kleine aktive Wühler über das aktuelle Bau- geschehen bei der Deutschen Bahn und wirbt auf seine unnachahm- liche Weise um Verständnis. Mehr über Max Maulwurf erfahren Sie auf www.deutschebahn.com/maxmaulwurf (mit Links zur Max- Fanseite und zu Max-Maulwurf-Artikeln im Bahnshop). Informationsmöglichkeiten Sonderbroschüre auf großen Bahnhöfen an der DB Information sowie in DB Reisezentren und Verkaufsstellen Aushänge auf den Stationen Internet bauinfos.deutschebahn.com mit Newsletter und RSS-Feed Mobiltelefon bauinfos.deutschebahn.com/mobile Videotext BAYERNTEXT Tafel 700 Aktuelle Betriebslage bahn.de/ris oder für Mobiltelefone m.bahn.de/ris Die Service-Nummer der Bahn Telefon 0180 6 99 66 33 (20 ct/Anruf aus dem Festnetz, Tarif bei Mobilfunk max.
    [Show full text]
  • 999 € 7 Days 18 Bamberg to Regensburg 2 Bike & Barge Tours Europe #B1/2416
    Full Itinerary and Tour details for Bamberg to Regensburg 7-day Bike & Barge Tour (LBF) Prices starting from. Trip Duration. Max Passengers. 999 € 7 days 18 Start and Finish. Activity Level. Bamberg to Regensburg 2 Experience. Tour Code. Bike & Barge Tours Europe #B1/2416 Bamberg to Regensburg 7-day Bike & Barge Tour (LBF) Tour Details and Description Test your bike skills on this self paced journey and tour through some of the oldest cities and regions of Bavaria from early morning until sunset. Visit Bamberg - a world class city port. Discover Erlangen - "the beer city of Germany" and while you are there enjoy some locally brewed beers. Wander around medieval Nurnberg. Take in Bavarian landscapes from a sundeck and bike through one of Germany's most beautiful bike routes “The Regnitz Radweg”. Tour along valleys, canals and of course the blue river Danube. A day tour takes you to Freystadt, where you can visit the pilgrim church of “Mari Hilf Wallfahrtskirche” - a baroque monument in the middle of flowering fields. On your last day a city tour of medieval Regensburg where you can stop and do some last minute shopping! If you can't keep up get an E- bike! (electronic) - they are fantastic! Ship Category Standard Plus The barge was built in 1929 as a freighter of type 'luxury motor.In 1993 the ship was converted into a passenger ship. She was renovated and rebuilt during winter 2011/2012. It is a great ship to relax after a bike ride. Capacity: max.19 people Cabins: 9 double cabins. All cabins with private bathroom and central heating.
    [Show full text]
  • Universität Augsburg
    Universitat¨ Augsburg ÃABCÊÇÅÍÆGËÀ¼ Safe Reasoning with Logic LTS Gerald L¨uttgen, Walter Vogler Report2008-18 November2008 Institut fur¨ Informatik Copyright c Gerald L¨uttgen, Walter Vogler Institut f¨ur Informatik Universit¨at Augsburg D–86135 Augsburg, Germany http://www.Informatik.Uni-Augsburg.DE — all rights reserved — Safe Reasoning with Logic LTS Gerald L¨uttgen1 and Walter Vogler2 1 Department of Computer Science, University of York, York YO10 5DD, U.K. [email protected] 2 Institut f¨ur Informatik, Universit¨at Augsburg, D–86135 Augsburg, Germany [email protected] Abstract. Previous work has introduced the setting of Logic LTS, to- gether with a variant of ready simulation as fully-abstract refinement preorder, which allows one to compose operational specifications using a CSP-style parallel operator as well as the propositional connectives con- junction and disjunction. In this paper, we show how a temporal logic for specifying safety properties may be embedded into Logic LTS so that (a) the temporal operators are compositional for ready simulation and (b) ready simulation, when restricted to pairs of processes and formulas, coincides with the logic’s satisfaction relation. The utility of this set- ting as a semantic foundation for mixed operational and temporal-logic specification languages is demonstrated via a simple example. 1 Introduction Recently, the setting of Logic LTS has been introduced which combines opera- tional and logic styles of specification [13, 14] in one unified framework. It in- cludes operational operators, such as parallel composition, and the propositional- logic operators conjunction and disjunction. Logic LTS extends labelled transi- tion systems by an inconsistency predicate on states, where an inconsistent state, or process, denotes empty behaviour that cannot be implemented (cf.
    [Show full text]
  • Oktoberfest, Breweries & the River Rhine
    Oktoberfest, Breweries & The River Rhine 10 DAYS/9 NIGHTS — GROUP TRAVEL SUGGESTED ITINERARY — CAN BE CUSTOMIZED INCLUSIONS This 10-day, 9-night tour will pair Germany’s rich beer culture with other memorable, must-see attractions. You’ll begin in Bavaria during its world-famous Oktoberfest 3 nights in Munich celebrations, cross into the Czech Republic to see the “birthplace of beer,” enjoy exciting, 1 night each in Plzen expert sightseeing in Germany’s historic cities, and cruise down the Rhine River to see and Bamberg Germany’s amazing castles and Riesling wine country. Join us on a tour that will tickle your 2 nights in taste buds and leave you exclaiming “PROST!” Düsseldorf 1 night each in Cologne and DAY 1 ~ ARRIVAL IN Wittelsbach family is one of the most Wiesbaden MUNICH beautiful palaces in all of Europe. Breakfast daily Lunch and dinner Alternatively, en-route from the airport a Arrive in Munich, Bavaria’s per itinerary political and cultural tour could be made of the Dachau Ground transport via capital. After exiting customs, meet your Concentration Camp and Memorial. air conditioned private coach local assistant in the terminal’s arrivals hall. Tonight join your fellow group members for English speaking Your group will then travel by private coach a welcome dinner of Bavarian specialties in assistant and guides to the hotel. (Even though your group will the hotel’s restaurant. Admission tickets as most likely arrive before the hotel’s check- outlined in itinerary DAY 2 ~ MUNICH in time, feel free to store your luggage with HIGHLIGHTS the reception staff).
    [Show full text]
  • Cruise the Heart of Europe Amsterdam to Budapest
    NO SINGLE SUPPLEMENT RIVER for Solo Travelers JO URNEY Cruise the Heart of Europe Amsterdam to Budapest Inspiring Moments > Feast your eyes on the twinkling landmarks of Budapest during an unforgettable evening cruise. > Glide along Amsterdam’s lovely canals, passing elegant gabled houses INCLUDED FEATURES of the Dutch Golden Age. > Cruise legendary stretches of the Main, Accommodations (with baggage handling) Itinerary Rhine and Danube rivers, viewing the – Unpack once and cruise for 14 nights Day 1 Depart gateway city Loreley Rock and Wachau Valley. aboard the exclusively chartered, Day 2 Arrive in Amsterdam and first-class MS Amadeus Star. transfer to ship > Delight in the beguiling, relaxed ambience Day 3 Amsterdam of Bratislava’s old town. Extensive Meal Program Day 4 Cologne > Linger inside Melk Abbey, perched on – 14 breakfasts, 13 lunches and 14 dinners, Day 5 Koblenz a rocky bluff above the Danube River. including Welcome and Farewell Dinners; Day 6 Miltenberg > Sail through the Main-Danube Canal, tea or coffee with all meals, plus wine, beer Day 7 Würzburg a civil-engineering wonder. or soft drinks with lunch and dinner. Day 8 Bamberg > Applaud the graceful turns and flowing Your One-of-a-Kind Journey Day 9 Nuremberg movements of elegant waltz dancers – Visit 5 countries during this program. Day 10 Regensburg during an exclusive performance. – Discovery excursions and Personalize Day 11 Passau > Experience eight UNESCO World Heritage sites. Your Journey | PYJ choices highlight Day 12 Melk | Dürnstein | Wachau Valley the local culture, heritage and history. Day 13 Vienna Melk – Expert-led Enrichment programs Day 14 Bratislava enhance your insight into the region.
    [Show full text]