• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher:
    
    • The Pennsylvania State University CiteSeerX Archives (4)
    • Kim Marriott (2)
    • Mark Wallace (2)
    • Nicholas Nethercote (2)
    • P. David Stotts (2)
    • Peter J. Stuckey (2)
    • Richard Furuta (2)
    • ANR-11-IS02-0003,ALCOCLAN,Algorithmes et complexité´ des langages de contraintes(2011) (1)
    • Alain Quilliot (1)
    • Bougé, Luc (1)
    •   more
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 13 of 13 1 Translation of CCS into CSP, Correct up to Strong Bisimulation ; Springer LNCS ; Software Engineering and Formal Methods (SEFM 21) Butterfield, Andrew; Ekembe Ngondi, Gerard; Koutavas, Vasileios. - : Springer, 2021 BASE Show details 2 Using Contrastive Terminology Analysis in Teaching a Foreign Language Chunxiang Wu; Jennifer Helen Baccanello In: Eurasian Journal of Applied Linguistics, Vol 5, Iss 3, Pp 461-471 (2019) (2019) BASE Show details 3 Mémoire d'habilitation à diriger des recherches Madelaine, Florent. - : HAL CCSD, 2012 In: https://tel.archives-ouvertes.fr/tel-01096078 ; Logic in Computer Science [cs.LO]. Université Blaise Pascal (Clermont-Ferrand 2), 2012 (2012) BASE Show details 4 Verification Architectures: Compositional Reasoning for Real-time Systems Faber, Johannes In: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00525132 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.152-167 (2010) BASE Show details 5 A semantics for behavior trees Colvin, Robert; Hayes, Ian J.. - 2010 BASE Show details 6 The Design of the Zinc Modelling Language Kim Marriott; Nicholas Nethercote; reza rafeh... In: http://ai.uwaterloo.ca/~vanbeek/Constraints/Papers/MarriottNRSGW08.pdf (2008) BASE Show details 7 A Formal Syntax and Semantics for the GSPML Language McDermott, John P. In: DTIC AND NTIS (2005) Abstract: This report formally defines both a syntax and a semantics for the GSPML visual language. The syntax is defined with a hypergraph grammar and the semantics is defined with Plotkin style structural operational semantics. A decorated trace semantics is derived from the labeled transition system of the structural operational semantics. GSPML itself is motivated by shortcomings in the visual security modeling capabilities of the Model Driven Architecture (MDA). Keyword: *DATA PROCESSING SECURITY; *SECURITY PROTOCOL MODELING; *SEMANTICS; *SIMULATION LANGUAGES; *SOFTWARE ENGINEERING; *SYNTAX; *VISUAL MODELING; ARCHITECTURE; Computer Programming and Software; Computer Systems Management and Standards; COMPUTERIZED SIMULATION; CRYPTOGRAPHY; CSP(COMMUNICATING SEQUENTIAL PROCESSES); DIAGRAMS; EVENT-BASED MODELING; HYPERGRAPH GRAMMAR; INFORMATION SYSTEM SURVIVABILITY; Linguistics; MDA(MODEL DRIVEN ARCHITECTURE); PE62235N; PROCESS ALGEBRA; STRUCTURAL OPERATIONAL SEMANTICS; VISION; VISUAL MODELING LANGUAGES; WUNRL556475; YAHALOM SECURITY PROTOCOL URL: http://www.dtic.mil/docs/citations/ADA440151 http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA440151 BASE Hide details 8 Expressing Constraint Satisfaction Problems in Declarative Modeling Using Natural Language and Fuzzy Sets Desmontils, Emmanuel In: ISSN: 0097-8493 ; Computers and Graphics ; https://hal.archives-ouvertes.fr/hal-00816825 ; Computers and Graphics, Elsevier, 2000, 24 (4), pp.555-568 (2000) BASE Show details 9 Browsing Parallel Process Networks P. David Stotts; Richard Furuta In: ftp://ftp.cs.unc.edu/pub/users/stotts/cspTR.ps.gz (1990) BASE Show details 10 Browsing Parallel Process Networks P. David Stotts; Richard Furuta In: http://rockfish-cs.cs.unc.edu/pubs/jpdc90.pdf (1990) BASE Show details 11 Untersuchung zweier denotationaler Semantikdefinitionen von CSP Zetzsche, Frank. - 1987 UB Frankfurt Linguistik Show details 12 Modularity and Symmetry for Distributed System; Application to the CSP Language ; Modularité et symétrie pour les systèmes répartis; application au langage CSP Bougé, Luc. - : HAL CCSD, 1987 In: https://tel.archives-ouvertes.fr/tel-00416184 ; Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1987. Français (1987) BASE Show details 13 M.: The design of the Zinc modelling language Kim Marriott; Nicholas Nethercote; Peter J. Stuckey... In: http://www.cs.mu.oz.au/~pjs/papers/constraints08b.pdf BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 1 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 12 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0