Matches in SemOpenAlex for { <https://semopenalex.org/work/W1809292008> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1809292008 endingPage "175" @default.
- W1809292008 startingPage "158" @default.
- W1809292008 abstract "Teaching courses that rely on sound mathematical principles is nowadays a challenging task at many universities. On the one hand there is an increased demand for educating students in these areas, on the other hand there are more and more students being accepted with less adequate skills in mathematics. We report here on our experiences in teaching concurrency theory over the last twenty years or so to students ranging from mathsphobic bachelor students to sophisticated doctoral students. The contents of the courses, the material on which they are based and the pedagogical philosophy underlying them are described, as well as some of the lessons that we have learned over the years.KeywordsModel CheckExercise SessionEquivalence CheckLabel Transition SystemBinary Decision DiagramThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1809292008 created "2016-06-24" @default.
- W1809292008 creator A5009728620 @default.
- W1809292008 creator A5016540152 @default.
- W1809292008 creator A5041913577 @default.
- W1809292008 creator A5069362159 @default.
- W1809292008 date "2009-01-01" @default.
- W1809292008 modified "2023-10-18" @default.
- W1809292008 title "Teaching Concurrency: Theory in Practice" @default.
- W1809292008 cites W1491196069 @default.
- W1809292008 cites W1507985299 @default.
- W1809292008 cites W1546220007 @default.
- W1809292008 cites W1547562281 @default.
- W1809292008 cites W1573078772 @default.
- W1809292008 cites W1590315663 @default.
- W1809292008 cites W1772179977 @default.
- W1809292008 cites W1962072139 @default.
- W1809292008 cites W1971107784 @default.
- W1809292008 cites W1978358700 @default.
- W1809292008 cites W1994350081 @default.
- W1809292008 cites W2025280888 @default.
- W1809292008 cites W2030224590 @default.
- W1809292008 cites W2033100041 @default.
- W1809292008 cites W2046213250 @default.
- W1809292008 cites W2056486266 @default.
- W1809292008 cites W2056557562 @default.
- W1809292008 cites W2063510765 @default.
- W1809292008 cites W2085040524 @default.
- W1809292008 cites W2101508170 @default.
- W1809292008 cites W2106462831 @default.
- W1809292008 cites W2112320167 @default.
- W1809292008 cites W2172111426 @default.
- W1809292008 cites W4244719572 @default.
- W1809292008 cites W4252542281 @default.
- W1809292008 cites W4297062422 @default.
- W1809292008 doi "https://doi.org/10.1007/978-3-642-04912-5_11" @default.
- W1809292008 hasPublicationYear "2009" @default.
- W1809292008 type Work @default.
- W1809292008 sameAs 1809292008 @default.
- W1809292008 citedByCount "7" @default.
- W1809292008 countsByYear W18092920082019 @default.
- W1809292008 countsByYear W18092920082020 @default.
- W1809292008 countsByYear W18092920082021 @default.
- W1809292008 countsByYear W18092920082022 @default.
- W1809292008 crossrefType "book-chapter" @default.
- W1809292008 hasAuthorship W1809292008A5009728620 @default.
- W1809292008 hasAuthorship W1809292008A5016540152 @default.
- W1809292008 hasAuthorship W1809292008A5041913577 @default.
- W1809292008 hasAuthorship W1809292008A5069362159 @default.
- W1809292008 hasBestOaLocation W18092920082 @default.
- W1809292008 hasConcept C145420912 @default.
- W1809292008 hasConcept C162324750 @default.
- W1809292008 hasConcept C166957645 @default.
- W1809292008 hasConcept C187736073 @default.
- W1809292008 hasConcept C193702766 @default.
- W1809292008 hasConcept C199360897 @default.
- W1809292008 hasConcept C2777626052 @default.
- W1809292008 hasConcept C2780451532 @default.
- W1809292008 hasConcept C33923547 @default.
- W1809292008 hasConcept C41008148 @default.
- W1809292008 hasConcept C49774154 @default.
- W1809292008 hasConcept C95457728 @default.
- W1809292008 hasConceptScore W1809292008C145420912 @default.
- W1809292008 hasConceptScore W1809292008C162324750 @default.
- W1809292008 hasConceptScore W1809292008C166957645 @default.
- W1809292008 hasConceptScore W1809292008C187736073 @default.
- W1809292008 hasConceptScore W1809292008C193702766 @default.
- W1809292008 hasConceptScore W1809292008C199360897 @default.
- W1809292008 hasConceptScore W1809292008C2777626052 @default.
- W1809292008 hasConceptScore W1809292008C2780451532 @default.
- W1809292008 hasConceptScore W1809292008C33923547 @default.
- W1809292008 hasConceptScore W1809292008C41008148 @default.
- W1809292008 hasConceptScore W1809292008C49774154 @default.
- W1809292008 hasConceptScore W1809292008C95457728 @default.
- W1809292008 hasLocation W18092920081 @default.
- W1809292008 hasLocation W18092920082 @default.
- W1809292008 hasOpenAccess W1809292008 @default.
- W1809292008 hasPrimaryLocation W18092920081 @default.
- W1809292008 hasRelatedWork W1481201647 @default.
- W1809292008 hasRelatedWork W1483545155 @default.
- W1809292008 hasRelatedWork W1528240692 @default.
- W1809292008 hasRelatedWork W1787630538 @default.
- W1809292008 hasRelatedWork W2376118243 @default.
- W1809292008 hasRelatedWork W2384947125 @default.
- W1809292008 hasRelatedWork W2588901507 @default.
- W1809292008 hasRelatedWork W2806644956 @default.
- W1809292008 hasRelatedWork W2897631772 @default.
- W1809292008 hasRelatedWork W80042586 @default.
- W1809292008 isParatext "false" @default.
- W1809292008 isRetracted "false" @default.
- W1809292008 magId "1809292008" @default.
- W1809292008 workType "book-chapter" @default.