BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Julien Lange
SearchCollections
Map detail
Julien Lange10 visible / 10 total nodes / 9 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJulien LangeAJulien LangeResearcherProceedings 13th Interaction and Concurrency ExperienceWProceedings 13th Intera...preprint / 2020Synthesising Choreographies from Local Session Types (extended version)WSynthesising Choreograp...preprint / 2012A Modular Toolkit for Distributed InteractionsWA Modular Toolkit for D...preprint / 2011Choreography Synthesis as Contract AgreementWChoreography Synthesis ...preprint / 2013Characteristic Formulae for Session Types (extended version)WCharacteristic Formulae...preprint / 2015Bounded verification of message-passing concurrency in Go using Promela and SpinWBounded verification of...preprint / 2020Amending Contracts for ChoreographiesWAmending Contracts for ...preprint / 2011Multiparty Compatibility for Concurrent ObjectsWMultiparty Compatibilit...preprint / 2016Provable GPU Data-Races in Static Race DetectionWProvable GPU Data-Races...preprint / 2022
Person9 links

Julien Lange

Researcher

PaperProceedings 13th Interaction and Concurrency ExperienceAuthorship / preprint / 2020PaperSynthesising Choreographies from Local Session Types (extended version)Authorship / preprint / 2012PaperA Modular Toolkit for Distributed InteractionsAuthorship / preprint / 2011PaperChoreography Synthesis as Contract AgreementAuthorship / preprint / 2013PaperCharacteristic Formulae for Session Types (extended version)Authorship / preprint / 2015PaperBounded verification of message-passing concurrency in Go using Promela and SpinAuthorship / preprint / 2020PaperAmending Contracts for ChoreographiesAuthorship / preprint / 2011PaperMultiparty Compatibility for Concurrent ObjectsAuthorship / preprint / 2016

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)